Какова связь между натуральными числами и мощностями конечных множеств?

Натуральные числа и мощности конечных множеств связаны: мощностью конечного множества А = {а1, …, аn} можно считать натуральное число n. 1

Это связано с тем, что, задавая такое число, можно задать класс всех (попарно равномощных) множеств вида {а1, …, аn]. 1 И наоборот, каждый такой класс однозначно определяет натуральное число n как число элементов в каждом множестве данного класса. 1

Кроме того, конечные множества являются материальной первоосновой натуральных чисел, а арифметические операции с натуральными числами, такие как сложение, умножение и возведение в степень, происходят из соответствующих операций над конечными множествами. 4