isConsistentRelativeTo

URI: https://gptkb.org/prop/isConsistentRelativeTo
3 triples
GPTKB property
Random triples
Subject Object
gptkb:MK_set_theory gptkb:ZFC_set_theory
gptkb:ZFC no known contradiction
gptkb:Morse–Kelley_Set_Theory Zermelo–Fraenkel set theory with Choice