Principio del buon ordinamento

Questa voce sull'argomento matematica è solo un abbozzo.

Contribuisci a migliorarla secondo le convenzioni di Wikipedia. Segui i suggerimenti del progetto di riferimento.

In matematica, 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:

Ogni insieme di numeri naturali non vuoto contiene un numero che è più piccolo di tutti gli altri.^[1]

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