1. 자연수 0이 존재합니다. (소스에서는 자연수에 0을 포함하여 정의함).

2. 임의의 자연수 a에는 그 뒤를 잇는 '후자(successor, sac)'가 존재합니다. (예: 0의 후자는 1).

3. 서로 다른 자연수는 서로 다른 후자를 가집니다. (즉, 후자가 합류하지 않고 일방통행적으로 진행됨).

4. 0은 어떤 자연수의 후자도 아닙니다. (0이 시작점임).

5. 0이 어떤 성질을 만족하고, a가 그 성질을 만족할 때 그 후자(sac(a))도 만족한다면, 모든 자연수는 그 성질을 만족합니다. (수학적 귀납법).