Els nombres naturals són les xifres que s'utilitzen per a les operacions de càlcul més bàsiques, a l'igual que per comptabilitzar els elements pertanyents a un conjunt qualsevol. De la mateixa manera, pot definir-se com qualsevol constituent del conjunt ℕ o ℕ = {1, 2, 3, 4,…}; cal destacar que, d'acord a l'àrea científica amb la que es treballi, aquesta definició pot incloure o no a l'zero, és a dir, ℕ = {0, 1, 2, 3, 4,…}. D'acord a la seva organització, el nombre que es troba a la dreta és el successiu o següent, mentre que el que se situa a l'esquerra serà el regressiu, encara que això és més comú quan són comptats d'aquesta mateixa forma.
A l'antic món grecoromà, la representació de quantitats numèriques quedava relegada a la utilització dels símbols propis de l'alfabet; posteriorment, s'inclourien nous símbols. No obstant això, no va ser fins al segle XIX quan es va iniciar la missió de descobrir si realment existien els nombres naturals; va ser Richard Dedekind l' home que es va encarregar d'elaborar una sèrie de teories per a comprovar l'existència del conjunt. Això va provocar que diversos intel·lectuals i matemàtics de l'època, com Giuseppe Peano, Friedrich Ludwig Gottlob Frege i Ernst Zermelo, que van acabar per establir el conjunt dins de la ciència i assignar-los una sèrie de característiques.
Aquest tipus de nombres, normalment, són ocupats per explicar els components d'un conjunt d'elements; això, sabent que aquest conjunt és una col·lecció d'objectes, com rutes, figures, lletres, números o persones, que pot ser considerat com un objecte ell mateix. Aquests s'identifiquen amb certes lletres, normalment segons el nomque reben. Els nombres naturals, així mateix, tenen una sèrie de propietats, com els són: és un conjunt completament i ben ordenat, per la seva relació de successió; les quantitats corresponents aqyr, estaran sempre determinades per ai b. Sumat a això, s'ha de tot nombre major a 1, ha d'anar darrere d'un altre nombre natural; que entre dos nombres naturals, hi ha una quantitat finita i que sempre hi haurà un nombre més gran que un altre o, sent el mateix, és infinit.
