From ProofWiki
Jump to navigation Jump to search


Let $\omega$ denote the minimal infinite successor set.

$\omega = \aleph_0$

where $\aleph$ denotes the aleph mapping.


For all $n \in \omega$, $n \notin \NN'$ by the definition of the infinite cardinal class.

Therefore, $\omega \le \aleph_0$.


Moreover, $\omega \in \NN'$ by Minimal Infinite Successor Set is Infinite Cardinal.

Therefore, $\aleph_x = \omega$ for some ordinal $x$.

It follows that $\aleph_0 \le \aleph_x$ since $0 \le x$ and the definition of the aleph mapping, so $\aleph_0 \le \omega$.

Thus, $\aleph_0 = \omega$.