Chiarimento su una dimostrazione

suppatruppa
Stavo leggendo la seguente dimostrazione http://people.dm.unipi.it/grassi/course ... DiBase.pdf (pagina 4) "Teorema Il principio di induzione ed il principio del buon ordinamento sono equivalenti"

Non ho afferrato un passo, precisamente perché: "Deve essere quindi m − 1 ∈ S", perché sicuramente appartiene a S mi sfugge.

Risposte
gugo82
Beh, se $m-1 notin T=NN\setminus S$ allora $m-1 in S$, no? :wink:

suppatruppa
Ci sono grazie,

in realtà mi sono accorto della stupida domanda solo dopo, infatti il problema risiedeva altrove, non avevo mai visto in modo apporfondito il principio del buon ordinamento e mi figuravo intuitivamente tutt'altra situazione da quella esposta.
Ora è chiaro, grazie mille.

Rispondi
Per rispondere a questa discussione devi prima effettuare il login.