His continuum hypothesis is the proposition that ???? is the same as ℵ1. This hypothesis has been found to be independent of the standard axioms of mathematical set theory; it can neither be proved nor disproved from the standard assumptions.
Name:
Anonymous2013-09-01 16:00
General set theory, a small fragment of Zermelo set theory sufficient for the Peano axioms and finite sets;