Cardinal Numbers

• Measure size of sets up to bijection.

• $|A|=|B|⟺\exists f:A\to B\text{ bijective}$

• ${\aleph }_0,{\aleph }_1,\dots$

• ${\kappa }^{+}$: successor cardinal