Aleph-Null is Smallest Infinite Cardinal Number

Theorem
Aleph-null, that is $\aleph_0$, is the smallest infinite cardinal.