Assertion: continuum hypothesis | /r/HasProperty | added as axiom
Facets:
value: to zfc set theory
type: TRANSITIVE-OBJECT
value: with being consistent
type: OTHER
Source sentences:
text: The answer to this problem is independent of ZFC set theory (that is, Zermelo–Fraenkel set theory with the axiom of choice included), so that either the continuum hypothesis or its negation can be added as an axiom to ZFC set theory, with the resulting theory being consistent if and only if ZFC is consistent.