Ante la pregunta de cuál es el mayor número concebible, la repuesta es sencilla: el número infinito.
Pero el matemático Georg Cantor (San Petersburgo, 3 de marzo de 1845 – Halle, 6 de enero de 1918) elaboró ingeniosos argumentos que demostraban la existencia de diversos infinitos diferentes, y algunos de ellos eran más grandes que otros… es decir, más infinitos.
El tipo menor de infinito es el que se obtiene simplemente contando sin descanso para siempre: 0, 1, 2, 3, 4… y así hasta el infinito. Este número lo llamó Alef0 (que recibe su nombre de la primera letra del alfabeto hebreo). Este número pertenece a lo que Cantor llamó números transfinitos.