Prirodni brojevi su brojke koje se koriste za najosnovnije računske operacije, kao i za brojanje elemenata koji pripadaju bilo kojem skupu. Slično tome, može se definirati kao bilo koji sastojak skupa ℕ ili ℕ = {1, 2, 3, 4,…}; Treba imati na umu da, prema znanstvenom području s kojim radimo, ova definicija može, ali i ne mora uključivati nulu, odnosno ℕ = {0, 1, 2, 3, 4,…}. Prema vašoj organizaciji, broj koji je zdesna sljedeći je ili uzastopni, dok će onaj koji se nalazi s lijeve strane biti regresivni, iako je to češće kada se broje na isti način.
U drevnom grčko-rimskom svijetu predstavljanje numeričkih veličina bilo je svedeno na upotrebu odgovarajućih simbola abecede; kasnije bi bili uključeni novi simboli. Međutim, tek u 19. stoljeću započela je misija otkrivanja postoje li prirodni brojevi doista; bio je Richard Dedekind čovjek koji je bio odgovoran za razvoj brojne teorije da se dokaže postojanje cijela. To je dovelo do različitih intelektualaca i matematičara tog doba, poput Giuseppea Peanoa, Friedricha Ludwiga Gottloba Fregea i Ernsta Zermela, koji su na kraju uspostavili skup unutar znanosti i dodijelili im niz karakteristika.
Te se vrste brojeva obično koriste za brojanje komponenata skupa elemenata; to, znajući da je ovaj skup zbirka predmeta, kao što su rute, figure, slova, brojevi ili ljudi, koji se mogu smatrati samim objektom. Oni se poistovjećuju s određenim slovima, obično prema imenuprimaju. Prirodni brojevi, također, imaju niz svojstava, kao što su: to je potpuno i dobro uređen skup, zbog svog sukcesijskog odnosa; veličine koje odgovaraju q i r uvijek će biti određene a i b. Dodano ovome, imamo da svaki broj veći od 1 mora ići za drugim prirodnim brojem; da između dva prirodna broja postoji konačna veličina i da će uvijek postojati broj veći od drugog ili je, budući da je isti, beskonačan.
