Assioma dell'infinito: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m WPCleaner v1.27 - link |
m modifiche di singleton a singoletto. |
||
Riga 8:
:Esiste un [[insieme]] '''N''' tale che l'[[insieme vuoto]] è in '''N''', e tale che ogni volta che ''a'' è un elemento di '''N''', l'insieme formato dall'unione di ''a'' con il suo [[singoletto]] {''a''} è anch'esso un elemento di '''N'''. Tale insieme è talvolta chiamato [[insieme induttivo (logica)|insieme induttivo]].
Per comprendere questo assioma, per prima cosa definiamo il ''successore'' di ''a'' come ''a'' ∪ {''a''}. Si noti che l'[[assioma della coppia]] ci permette di costruire il
1 = 0 ∪ {0} = {} ∪ {0} = {0}.
|