isConsistentRelativeTo

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