Concepte abstracte.
Permet representar la quantitat d'elements d'un conjunt.
És la característica comuna a tots els conjunts coordinables entre sí, ja que podem establir una relació un a un entre els elements dels dos conjunts.
A cada element li correspon un altre anomenat següent o succesor.
Existeix un primer element, que no és succsesor de cap altre element. És el nombre 1.
Dos elements diferents de N (conjunt de nombres naturals) mai tindràn el mateix succesor.
Principi d'Inducció: Tot subconjunt de N, que conté la unitat (1) i que conté els succesor de cadascun dels seus elements, concideix amb N.