principio del buon ordinamento

Definizione

Il principio del buon ordinamento afferma che ogni insieme non vuoto di numeri naturali ha un elemento minimo. In altre parole, dato un sottoinsieme non vuoto $S\subseteq \mathbb{N}$, esiste un elemento $m\in S$ tale che $m\le n$ per ogni $n\in S$.

Questo principio è strettamente legato al principio di induzione matematica; infatti, i due principi sono logicamente equivalenti: ciascuno può essere derivato dall’altro.

assiomi di Peano e principio di induzione

Da non confondere con il principio del buon ordinamento, il teorema del buon ordinamento.

Risorse