Пеано аксиомы

аксиомы дедуктивной теории чисел: множество N с фиксированным элементом 0 является множеством N натуральных чисел, если на нем задана унарная операция s : N → N ( определяю щая дляn ∈ N его потомок s(n)) так, что: 1) s(n) ≠ 0 при любом n ∈ N, 2) если s(n) = s(m), то n = m, 3) имеет место принцип математической индукции, или аксиома индукции: любое подмножество множества N, содержащее число 0 и вместе с каждым своим элементом n также s(n), совпадает с множеством N