La teoria degli infiniti è molto carina, almeno per un matematico; peccato che abbia dei buchi logici ineliminabili. Non è nemmeno possibile sapere se esiste o no un infinito maggiore dei numeri interi ma minore dei numeri reali.
Il metodo diagonale di Cantor mostra che ci sono diversi tipi di infiniti, e ne costruisce esplicitamente uno, se si ha una pazienza infinita. Ma non tutti sono d'accordo che la cosa sia lecita!
Dopo che i matematici avevano fatto tutto quanto in loro potere per nascondere l'infinito sotto il tappeto, Georg Cantor prese la questione di petto e provò a usarlo come un'entità a pieno titolo.
Il concetto di infinito in matematica è sempre stato trattato con le molle, già dai greci; non ci si sentiva a proprio agio con i paradossi relativi, e il grande traguardo degli analisti del XIX secolo fu di eliminarlo. Poi però...