Principio del buon ordinamento: differenze tra le versioni

:Se non fosse vuoto per il PBO conterrebbe un numero minimo m, che non può essere lo 0 (che è in A). Quindi c'è un predecessore m-1 che non può trovarsi in '''N'''-A (visto che il minimo è m) e che quindi si trova in A. Ma dalle ipotesi su A sappiamo che se A contiene n=m-1 deve contenere anche n+1=m, il che è falso. Siamo giunti ad una contraddizione, quindi deduciamo che era falsa l'assunzione che '''N'''-A fosse non vuoto.

 

[[Categoria: Logica matematica]]

[[Categoria: Teoria dei numeri]]