equiconsistentWith

URI: https://gptkb.org/prop/equiconsistentWith
2 triples
GPTKB property
Random triples
Subject Object
gptkb:von_Neumann–Bernays–Gödel_axioms gptkb:Zermelo–Fraenkel_set_theory
gptkb:NBG_(set_theory) gptkb:Zermelo–Fraenkel_set_theory