Le théorème de Cantor est peu intuitif. En effet, il démontre qu'il existe des ordres de grandeur entre ensemble de nombres finis et infinis. Il existe ainsi des ensembles de tailles identiques, plus grands ou plus petits que d'autres et donc des "infinis" plus ou moins grands.