N = {1, 2, 3, 4,...} é um conjunto, cujos elementos são chamados números naturais.
Operações
Adição
A operação de adição, é definida a partir da ideia de sucessor:
2 é o sucessor de 1, 2 = 1+1;
3 é o sucessor de 2, 3 = 2+1;
Assim, se a ∈ Ν, a+1 é o sucessor de a.
Multiplicação
m x n = n+n+n+...+n, operando m vezes.
Subtração
m - n = p se e somente se m = p + n
Divisão
m : n = p se e só se m = p . n