Un teorema demuestra que cualquier conxuntu que sía inductivu contien a tolos númberos naturales, ye dicir que si A ye un conxuntu inductivu, entós ℕ ⊆ A. Esto significa que, n'efectu, ℕ ye'l mínimu conxuntu inductivu.