Aleph Zero equals Cardinality of Naturals

Theorem
$\aleph_0 = \card \N$

where
 * $\aleph$ denotes the aleph mapping,
 * $\card \N$ denotes the cardinality of $\N$.