Many of these theorems are independent of ZFC, requiring stronger axioms for their proof.
Moitos deste teoremas son independentes de ZFC, necesitando axiomas máis fortes para a súa demostración.