Os números naturais são os números que se utilizam para as operações de cálculo mais básicas, bem como para contar os elementos pertencentes a qualquer conjunto. Da mesma forma, pode ser definido como qualquer constituinte do conjunto ℕ ou ℕ = {1, 2, 3, 4,…}; Ressalte-se que, de acordo com a área científica com a qual trabalhamos, esta definição pode ou não incluir zero, ou seja, ℕ = {0, 1, 2, 3, 4,…}. De acordo com a sua organização, o número da direita é o próximo ou sucessivo, enquanto o da esquerda será o regressivo, embora isso seja mais comum quando são contados da mesma forma.
No antigo mundo greco-romano, a representação de quantidades numéricas foi relegada ao uso dos símbolos próprios do alfabeto; mais tarde, novos símbolos seriam incluídos. No entanto, foi somente no século 19 que começou a missão de descobrir se os números naturais realmente existiam; foi Richard Dedekind o homem responsável por desenvolver uma série de teorias para provar a existência do todo. Isso fez com que vários intelectuais e matemáticos da época, como Giuseppe Peano, Friedrich Ludwig Gottlob Frege e Ernst Zermelo, acabassem estabelecendo o conjunto dentro da ciência e atribuindo-lhes uma série de características.
Esses tipos de números são normalmente usados para contar os componentes de um conjunto de elementos; isso, sabendo que esse conjunto é uma coleção de objetos, como rotas, figuras, letras, números ou pessoas, que podem ser considerados como um objeto em si. Eles são identificados com certas letras, geralmente de acordo com o nomeeles recebem. Os números naturais, da mesma forma, possuem uma série de propriedades, tais como: é um conjunto completo e bem ordenado, devido à sua relação de sucessão; as quantidades correspondentes a q e r serão sempre determinadas por a e b. Somado a isso, temos que todo número maior que 1 deve ir depois de outro número natural; que entre dois números naturais há uma quantidade finita e que sempre haverá um número maior que o outro ou, sendo o mesmo, é infinito.
