Assioma dell'infinito: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica |
m Correggo sintassi in formula matematica secondo mw:Extension:Math/Roadmap |
||
Riga 5:
Nel [[linguaggio formale]] degli assiomi di Zermelo-Fraenkel, l'assioma si scrive:
:<math>\exist X: \varnothing \in X \
oppure a parole:
:Esiste un [[insieme]] X tale che l'[[insieme vuoto]] è in X e tale che ogni volta che ''x'' è un elemento di X, l'insieme formato dall'unione di ''x'' con il suo [[singoletto]] {''x''} è anch'esso un elemento di X. Tale insieme X è talvolta chiamato apodittico o [[insieme induttivo (logica)|insieme induttivo]].
|