notableAxiomSystem

URI: https://gptkb.org/prop/notableAxiomSystem
5 triples
GPTKB property
Random triples
Subject Object
gptkb:Axiomatic_Set_Theory gptkb:Zermelo-Fraenkel_Set_Theory
gptkb:Axiomatic_Set_Theory gptkb:New_Foundations
gptkb:Axiomatic_Set_Theory gptkb:Tarski–Grothendieck_Set_Theory
gptkb:Axiomatic_Set_Theory gptkb:Von_Neumann–Bernays–Gödel_Set_Theory
gptkb:Axiomatic_Set_Theory gptkb:Morse–Kelley_Set_Theory