isConservativeExtensionOf

URI: https://gptkb.org/prop/isConservativeExtensionOf
3 triples
GPTKB property
Random triples
Subject Object
gptkb:NBG_(set_theory) gptkb:Zermelo–Fraenkel_set_theory
gptkb:NBG_set_theory gptkb:Zermelo–Fraenkel_set_theory
gptkb:Bernays–Kuratowski–von_Neumann_set_theory gptkb:Zermelo–Fraenkel_set_theory