Natural Numbers as Cardinals

Theorem
The natural numbers $\N = \set {0, 1, 2, 3, \ldots}$ 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.