Assertion: continuum hypothesis | /r/HasProperty | first mathematical statements
Facets:
Source sentences:
text: The continuum hypothesis and the axiom of choice were among the first mathematical statements shown to be independent of ZF set theory.