Em um contexto de raciocínio lógico, o conjunto dos números naturais é estritamente contido no conjunto dos números inteiros, o que significa que todo número natural é um número inteiro, mas nem todo número inteiro é um número natural.