Ya hemos hablado en el primer capítulo sobre el infinito de la paradoja de Galileo, según la cual hay tantos números naturales como cuadrados perfectos. Lo mismo puede decirse de los números pares e impares: hay tantos como números naturales. En efecto, por cada número par hay un número natural (y sólo uno) que es su mitad, y para cada número natural hay un número par (y sólo uno) que es su doble. Y obviamente, hay tantos pares como impares, puesto que el conjunto de los impares es igual al de los pares restándole una unidad a cada elemento.
