Из Википедии Теоретико-множественное определение натуральных чисел Множество N натуральных чисел определяется как наименьшее множество, содержащее 0 и замкнутое по преемственной функции S, определенной как S (n) = n ∪ {n}. Первые несколько чисел, определенных таким образом: 0 = {}, 1 = {0} = {{}},...