Random triples
| Subject | Object |
|---|---|
| gptkb:Zermelo–Fraenkel_set_theory_with_choice_(ZFC) | true |
| gptkb:Halting_problem | true |
| gptkb:ZFC_for_sets | true |
| gptkb:Post_correspondence_problem | true |
| gptkb:ZFC_set_theory | in first-order logic |
| gptkb:ZFC_(with_choice) | true |
| gptkb:first_order_arithmetic | true |
| gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC) | true |