[arunix]

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