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

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

Теория множеств