statusInZFC

URI: https://gptkb.org/prop/statusInZFC
4 triples
GPTKB property
Random triples
Subject Object
gptkb:Axiom_of_Choice gptkb:Accepted
gptkb:Axiom_of_Choice_(AC) included
gptkb:Zermelo’s_Axiom_of_Choice gptkb:Titan
gptkb:Continuum_Hypothesis undecidable