Countable and uncountable sets, cardinal numbers, Cantor's diagonalization argument, and the continuum hypothesis.