Random triples
Subject | Object |
---|---|
gptkb:ZFC | no known contradiction |
gptkb:Morse–Kelley_Set_Theory | Zermelo–Fraenkel set theory with Choice |
gptkb:MK_set_theory | gptkb:ZFC_set_theory |
Subject | Object |
---|---|
gptkb:ZFC | no known contradiction |
gptkb:Morse–Kelley_Set_Theory | Zermelo–Fraenkel set theory with Choice |
gptkb:MK_set_theory | gptkb:ZFC_set_theory |