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 singletonsingoletto {''a''}, e quindi di formare la coppia. I successori sono usati per definire l'usuale codifica insiemistica dei [[numero naturale|numeri naturali]]. In questa codifica, lo zero è l'insieme vuoto (0 = {}), e 1 è il successore di 0:
 
1 = 0 ∪ {0} = {} ∪ {0} = {0}.