Random triples
Subject | Object |
---|---|
gptkb:Kripke–Platek_set_theory | gptkb:set_theory |
gptkb:Kripke–Platek_set_theory_(KP) | gptkb:set_theory |
gptkb:intuitionistic_Zermelo–Fraenkel_set_theory | axioms similar to ZF but with intuitionistic logic |
Subject | Object |
---|---|
gptkb:Kripke–Platek_set_theory | gptkb:set_theory |
gptkb:Kripke–Platek_set_theory_(KP) | gptkb:set_theory |
gptkb:intuitionistic_Zermelo–Fraenkel_set_theory | axioms similar to ZF but with intuitionistic logic |