В математике кардинальные числа, или кратко, кардиналы - это обобщение натуральных чисел, используемых для измерения мощности (размера) множеств. Мощность конечного множества - это натуральное число - количество элементов в множестве.
Известная теорема Кантора заключается в том, что мощность действительных чисел больше, чем мощность натуральных чисел.