Cantor is mentioned, but I'd also mention the idea that some infinities are equivalent (e.g. Integers and Rationals), but others are not (Rationals and Real num

Cantor is mentioned, but I'd also mention the idea that some infinities are equivalent (e.g. Integers and Rationals), but others are not (Rationals and Real numbers). https://en.wikipedia.org/wiki/Cantor%27s_paradise https://en.wikipedia.org/wiki/Cantor%27s_paradise