Many of these theorems are independent of ZFC, requiring stronger axioms for their proof.
Monet sellaiset teoreemat ovat ZFC:stä riippumattomia ja edellyttävät vahvempia aksioomeja, jotta ne voidaan todistaa.