independenceResult

URI: https://gptkb.org/prop/independenceResult
2 triples
GPTKB property
Random triples
Subject Object
gptkb:ZFC+CH CH can be added to ZFC without inconsistency (if ZFC is consistent)
gptkb:ZFC+CH CH is independent of ZFC