Random triples
| Subject | Object |
|---|---|
| gptkb:Zermelo-Fraenkel_set_theory_with_Choice_(ZFC) | sets |
| gptkb:Zermelo_set_theory | gptkb:set_theory |
| gptkb:Quillen_model_structure | homotopy theory in categories |
| gptkb:Elementary_Theory_of_the_Category_of_Sets | category of sets |