|
gptkb:ZFC_(Zermelo–Fraenkel_set_theory_with_Choice)
|
ZFC is consistent if ZF is consistent
|
|
gptkb:Zermelo-Fraenkel_set_theory_(ZF)
|
no contradiction can be derived from its axioms
|
|
gptkb:ZFC_set_theory
|
no contradiction can be derived from its axioms
|
|
gptkb:Zermelo-Fraenkel_set_theory_with_the_axiom_of_choice_(ZFC)
|
no contradiction can be derived from its axioms
|
|
gptkb:Zermelo–Fraenkel_set_theory_with_the_axiom_of_choice_(ZFC)
|
ZFC is consistent if ZF is consistent
|
|
gptkb:Zermelo-Fraenkel_set_theory
|
there is an inaccessible cardinal
|
|
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC)
|
no contradiction can be derived from its axioms
|
|
gptkb:ZFC_(with_choice)
|
ZFC is consistent if and only if no contradiction can be derived from its axioms
|
|
gptkb:Robinson_arithmetic
|
Peano arithmetic is consistent
|
|
gptkb:Zermelo–Fraenkel_set_theory_with_choice_(ZFC)
|
ZFC is consistent if ZF is consistent
|
|
gptkb:Zermelo–Fraenkel_set_theory
|
no contradiction can be derived from its axioms
|
|
gptkb:Zermelo–Fraenkel_set_theory_without_the_Axiom_of_Choice
|
ZF is consistent if ZFC is consistent
|