Un teorema demuestra que cualquier conjunto que sea inductivo contiene a todos los números naturales, es decir que si es un conjunto inductivo, entonces .