Argument de la diagonale de Cantor
Comment Cantor a-t-il prouvé que certains infinis sont plus grands que d'autres ?
En essayant de dresser la liste complète des nombres à virgule compris entre 0 et 1, et en montrant qu'on échoue toujours. Georg Cantor a publié en 1891 une recette qui, à partir de n'importe quelle liste, fabrique un nombre qui n'y figure pas. Les entiers, eux, se listent sans peine : il y a donc plus de nombres à virgule que d'entiers.