Natural Numbers as Cardinals

Theorem
The natural numbers $\N = \left\{{0, 1, 2, 3, \ldots}\right\}$ can be defined as the set of cardinals.

Proof
From Finite Cardinals form Infinite Set we have that the cardinals form a set which is infinite.