" halmazelmélet nélkül pedig egyáltalán nem."

Azt hiszem ZFC összes tétele (pontosabban azoknak  a megfelelő átkódolása) tétel ebben a kategóriaelméletes megalapozásban is. Fordítva viszont nem igaz.