Los números naturales parten de 0, 0, 1, 2, 3, 4... uno tras otro, formando un grupo infinito, es decir, enteros no negativos.
Los números naturales se pueden dividir en números pares y impares.
1. Números impares: Los números que no son divisibles por 2 se llaman números impares.
2. Números pares: Un número que es divisible por 2 se llama número par. En otras palabras, excepto los números impares, todos son números pares.
Nota: 0 es un número par. En 2002, la Asociación Internacional de Matemáticas dictaminó que el cero es un número par. En 2004, China también estipuló que el cero es un número par. Los números pares pueden ser divisibles por 2, al igual que el 0, pero el número sigue siendo 0.
El conjunto de números naturales de datos extendidos n se refiere a un conjunto que satisface las siguientes condiciones:
① Hay un elemento en n, registrado como 1.
②Cada elemento en N puede encontrar un elemento en N como su elemento sucesor.
③1 es el sucesor de 0.
④0 no es sucesor de ningún elemento.
⑤ Diferentes elementos tienen diferentes herederos.
⑥ (Axioma de inducción) Para cualquier subconjunto M de n, si 1∈M, y siempre que X esté en M, se puede deducir que el sucesor de X también está en M, entonces M = n..