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

Определение. Система из пяти аксиом (начальный элемент; существование и единственность преемника; начальный элемент не является преемником; инъективность преемника; принцип индукции), задающая натуральный ряд как формальную систему.