Множество всех натуральных чисел

Аксиомы Пеано для натуральных чисел