Натуральнымі лікамі называюцца элементы ўсякага непустога мноства N {displaystyle mathbb {N} } , у яком для некаторых элементаў a {displaystyle a} і b {displaystyle b} існуе дачыненне « b {displaystyle b} ідзе за a {displaystyle a} », для якога выконваюцца наступныя аксіёмы[47]