Аксіоми Пеано: Введемо функцію , котра зіставляє числу наступне за ним число (інакше кажучи, число, що слідує за ним). (одиниця є натуральним числом). Якщо , то (число, наступне за натуральним, також є натуральним). (одиниця не слідує за жодним натуральним числом).