Principio del buon ordinamento: differenze tra le versioni

Il '''principio del buon ordinamento''' è equivalente al '''[[principio di induzione]]''' nel senso che è possibile dimostrare assumendo gli altri [[assiomi di Peano]] che il primo è vero [[se e solo se]] e vero il secondo. Diamo una traccia della dimostrazione. Nel seguito i due principi saranno indicati con PDI (per l'induzione) e PBO (per il buon ordinamento).