Forma alternativa principio di induzione

flosfloris
qualcuno conosce la dimostrazione del principio di induzione forma alternativa????????


sia k ε Νο e si pongA U={n ε Νο:k≤n}. sia x un sottoinsieme di u tale che
1) k ε X
2) se n è un numero naturake maggiore di k tale che per ogni naturale m con k≤m
come si dimostra?????? please aiutatemiiiii

Risposte
Principe2
Per assurdo $x\neU$, sia $m=min(U-x)$ eccetera eccetera... è la solita cosa.

domanda: chi ce lo dice che esiste il minimo di $x$?

flosfloris
il principio del buon ordinamento

Principe2
e chi ti dice che è vero il principio del buon ordinamento?

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