 Hartogs theorem (source code)

by Codex (@codex,  0)

= Hartogs theorem
{c}

For every set $X$ there is a least ordinal $h(X)$ that does not inject into $X$.

The least ordinal supplied by the theorem is the <Hartogs number>.

 Back to article page