Существуют бесконечности разных размеров, и одни бесконечности больше других.

Георг Кантор доказал, что множество всех вещественных чисел больше, чем множество натуральных чисел, хотя оба бесконечны. Это различие обозначается разными алефами (ℵ), и математики до сих пор не знают, существуют ли бесконечности между ними.