Natural Numbers are Infinite

From ProofWiki
Jump to navigation Jump to search

Theorem

The set $\N$ of natural numbers is infinite.


Proof

Let the mapping $s: \N \to \N$ be defined as:

$\forall n \in \N: s \left({n}\right) = n + 1$

$s$ is clearly an injection.

Suppose $\N$ were finite.

By Equivalence of Mappings between Sets of Same Cardinality it follows that $s$ is a surjection.

But:

$\forall n \in \N: s \left({n}\right) \ge 0 + 1 > 0$

So:

$0 \notin s \left[{\N}\right]$

and $s$ is not a surjection.

From this contradiction it is seen that $\N$ cannot be finite.

So, by definition, $\N$ is infinite.

$\blacksquare$


Sources