gptkb:first_order_arithmetic
|
true
|
gptkb:WalkSAT_algorithm
|
true
|
gptkb:Weil–Petersson_metric
|
true
|
gptkb:ZFC_set_theory
|
by Gödel's incompleteness theorems
|
gptkb:Zermelo-Fraenkel_set_theory_(ZF)
|
due to Gödel's incompleteness theorems
|
gptkb:Peano_arithmetic
|
true
|
gptkb:Bristol_Ring_Road
|
true
|
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC)
|
true
|
gptkb:ZFC_(with_choice)
|
true
|
gptkb:Zermelo-Fraenkel_set_theory
|
due to Gödel's incompleteness theorems
|
gptkb:Zermelo–Fraenkel_set_theory
|
due to Gödel's incompleteness theorems
|
gptkb:Zermelo-Fraenkel_set_theory_with_the_axiom_of_choice_(ZFC)
|
true
|