Assioma dell'infinito: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica |
Nessun oggetto della modifica |
||
Riga 21:
Potremmo avere l'intenzione di formare l'insieme <math>\mathbb{N}= \{0, 1, 2, ...\}</math> di tutti i numeri naturali, ma si scopre che, usando solo gli altri assiomi, è impossibile. L'assioma dell'infinito quindi assume l'esistenza di questo insieme, e ottiene questo con un metodo simile all'[[induzione matematica]], assumendo prima di tutto che esista un insieme ''X'' che contiene zero, e poi facendo in modo che, per ogni elemento di ''X'', il [[ordinale successore|successore]] dell'elemento è ancora in ''X''.
Questo insieme può contenere altri elementi oltre ai numeri naturali, di cui sarebbero un sottoinsieme, ma possiamo applicare lo [[schema di assiomi di specificazione]] per rimuovere gli elementi indesiderati, lasciando l'insieme
Quindi l'essenza dell'assioma è:
| |||