Números naturais
Definição
Um número natural é um número inteiro não-negativo (0, 1, 2, ...). Em alguns contextos, número natural é definido como um número inteiro positivo, i.e., o zero não é considerado como um número natural. O uso mais comum deles é a contagem ("Há 4 melancias voando num mar de suco de limão") ou a ordenação ("Esta é a 20ª melhor canção sobre melancias voadoras já cantada por um jacaré"). Propriedades dos números naturais como, por exemplo, divisibilidade e a distribuição dos números primos, são estudadas na Teoria dos Números. Propriedades que dizem respeito a contagens e combinações são estudadas pela combinatória.
Os matemáticos usam N para se referir ao conjunto de todos os números naturais. Este conjunto é infinito e contável por definição.