Mamy udowodnić, że istnieje tylko jedno liczba naturalna, że liczba o  od niej większa jest mniejsza od , a liczba o od niej większa jest większa od .

Zacznijmy od początku. 

Oznaczmy naszą liczbę