Considere o conjunto dos números naturais N. Podemos afirmar, exceto que:

Não existe número natural menor que zero.

Todo número natural ou é primo ou é composto.

O único número natural par e primo é o 2.

Todo número natural possui um sucessor.

Existe número natural que não possui antecessor.