są różne klasy nieskończoności, np. zbiór liczb naturalnych jest nieskończenie duży, ale zbiór liczb rzeczywistych też jest nieskonczenie duży, z tym że ta druga nieskończoność jest nieskończenie razy silniejsza od pierwszej.. a mówiąc ściślejszym językiem - moc jednego zbioru jest większa niż drugiego (tj. liczba jego elementów)