Chiarimento su una dimostrazione
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.
Non ho afferrato un passo, precisamente perché: "Deve essere quindi m − 1 ∈ S", perché sicuramente appartiene a S mi sfugge.
Risposte
Beh, se $m-1 notin T=NN\setminus S$ allora $m-1 in S$, no?

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.
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.