doesNotIncludeAxiom

URI: https://gptkb.org/prop/doesNotIncludeAxiom
2 triples
GPTKB property
Random triples
Subject Object
gptkb:Zermelo_set_theory gptkb:Axiom_of_Regularity
gptkb:Zermelo_set_theory gptkb:Axiom_of_Replacement