|
gptkb:ZFC+¬CH
|
ZFC (if ZFC is consistent, so is ZFC+¬CH)
|
|
gptkb:ZFC+CH
|
gptkb:ZFC
|
|
gptkb:Zermelo-Fraenkel_set_theory_with_Choice_and_Continuum_Hypothesis
|
Zermelo-Fraenkel set theory with Choice
|
|
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC)
|
gptkb:Zermelo-Fraenkel_set_theory_(ZF)
|
|
gptkb:Axiom_of_Determinacy
|
gptkb:large_cardinal_axioms
|
|
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_and_the_Continuum_Hypothesis
|
Zermelo-Fraenkel set theory with the Axiom of Choice
|
|
gptkb:Zermelo-Fraenkel_set_theory_with_the_axiom_of_choice_(ZFC)
|
gptkb:Zermelo-Fraenkel_set_theory_(ZF)
|
|
gptkb:axiom_of_constructibility_(V=L)
|
gptkb:ZFC
|
|
gptkb:ZF_(Zermelo–Fraenkel_set_theory_without_Choice)
|
gptkb:ZFC
|
|
gptkb:New_Foundations_with_Urelements
|
gptkb:Peano_arithmetic
|
|
gptkb:Solovay_model
|
ZFC + existence of an inaccessible cardinal
|
|
gptkb:ZF_(Zermelo–Fraenkel_set_theory_without_choice)
|
ZFC (if ZFC is consistent, so is ZF)
|