Principio del buon ordinamento: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m ha spostato Principio del Buon Ordinamento a Principio del buon ordinamento: minuscole per standard |
m robot Aggiungo: pt:Princípio da boa-ordenação |
||
Riga 25:
: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.
[[de:Wohlordnungssatz]]▼
[[en:Well-ordering principle]]▼
[[Categoria: Matematica]]
[[Categoria: Logica matematica]]
[[Categoria: Teoria dei numeri]]
▲[[de:Wohlordnungssatz]]
▲[[en:Well-ordering principle]]
[[pt:Princípio da boa-ordenação]]
[[tr:İyi-sıralılık ilkesi]]
|