Principio del buon ordinamento: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
Riga 37:
:* (P3) <math>x \neq y \Rightarrow s(x) \neq s(y) </math>
:* (P4) <math>s(x) \neq x_0 ~~~\forall x \in X </math>
:* (PBO) Poiché ogni sottinsieme di <math>\mathbb{N} </math> non vuoto ammette un elemento minimo, <math>\forall ~Y \subseteq X </math> non vuoto sia <math>M=\{n \in \mathbb{N} ~\mid~n/2 \in Y \} \Rightarrow \exist ~ m \in M </math> suo elemento minimo. <math>m/2 \in Y </math>è l'elemento minimo di Y.
:È evidente come <math>X </math> non rispetti PBI, infatti <math>\mathbb{N} \subsetneq X </math> contiene lo 0, e <math>\forall n \in \mathbb{N} \Rightarrow n+1 \in \mathbb{N} </math>.
 
==Note==