isConsistentIf

12 triples
GPTKB property

Random triples
Subject Object
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_choice_(ZFC) ZFC is consistent if ZF is consistent
gptkb:ZFC_(with_choice) ZFC is consistent if and only if no contradiction can be derived from its axioms
gptkb:Zermelo-Fraenkel_set_theory_(ZF) 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 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
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:ZFC_(Zermelo–Fraenkel_set_theory_with_Choice) ZFC is consistent if ZF is consistent
gptkb:Robinson_arithmetic Peano arithmetic is consistent