consistencyUndecidable

URI: https://gptkb.org/prop/consistencyUndecidable
5 triples
GPTKB property
Random triples
Subject Object
gptkb:Zermelo-Fraenkel_set_theory_with_Choice_(ZFC) true (by Gödel's incompleteness theorems)
gptkb:axiom_of_ZFC true
gptkb:Zermelo–Fraenkel_set_theory_with_the_axiom_of_choice_(ZFC) gptkb:Gödel's_incompleteness_theorems
gptkb:Zermelo–Fraenkel_set_theory_with_choice_(ZFC) gptkb:Gödel's_incompleteness_theorems
gptkb:Zermelo-Fraenkel_Set_Theory gptkb:Gödel's_incompleteness_theorems