Assioma dell'infinito: differenze tra le versioni

Nel [[linguaggio formale]] degli assiomi di Zermelo-Fraenkel, l'assioma si scrive:

 

oppure a parole:

:Esiste un [[insieme]] '''X''' tale che l'[[insieme vuoto]] è in '''X''', e tale che ogni volta che ''a'' è un elemento di '''X''', l'insieme formato dall'unione di ''a'' con il suo [[singoletto]] {''a''} è anch'esso un elemento di '''X'''. Tale insieme '''X''' è talvolta chiamato apodittico o [[insieme induttivo (logica)|insieme induttivo]].