Principio del buon ordinamento: differenze tra le versioni

Il '''principio del buon ordinamento''' (da non confondere con il [[Teorema del buon ordinamento]]), talvolta chiamato '''principio del minimo intero''', o più propriamente '''principio del minimo intero naturale''', afferma che:

 

 

In altre parole, un qualsiasi [[sottoinsieme]] non vuoto dei [[numeri naturali]] ammette [[elemento minimo|minimo]]. Il che equivale a dire che l'insieme dei numeri naturali è un [[insieme ben ordinato]] (rispetto alla usuale [[relazione d'ordine]] usuale).