independenceResults

URI: https://gptkb.org/prop/independenceResults
2 triples
GPTKB property
Random triples
Subject Object
gptkb:Zermelo–Fraenkel_Set_Theory axiom of choice
gptkb:Zermelo–Fraenkel_Set_Theory gptkb:continuum_hypothesis