omitsAxiom

URI: https://gptkb.org/prop/omitsAxiom
2 triples
GPTKB property
Random triples
Subject Object
gptkb:Zermelo–Fraenkel_set_theory_without_foundation gptkb:Axiom_of_Foundation
gptkb:cohomology_theory dimension axiom