En uendelig mengde kan defineres som en mengde som har ekte delmengder med samme kardinalitet som seg selv. Matematikeren Georg Cantor viste at uendelige mengder kan ha forskjellige størrelser. Dette kalles for Cantors teorem.