Random triples
| Subject | Object |
|---|---|
| gptkb:ZFC_set_theory | ZFC is consistent |
| gptkb:ZFC_(Zermelo–Fraenkel_set_theory_with_Choice) | ZFC has a model if ZF has a model |
| Subject | Object |
|---|---|
| gptkb:ZFC_set_theory | ZFC is consistent |
| gptkb:ZFC_(Zermelo–Fraenkel_set_theory_with_Choice) | ZFC has a model if ZF has a model |