Assioma dell'infinito: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m senza fonti |
m Bot, replaced: Linguaggio formale (matematica) → Linguaggio formale |
||
Riga 3:
Nella [[teoria degli insiemi]], l''''assioma dell'infinito''' è uno degli [[assioma (matematica)|assiomi]] della [[teoria degli insiemi di Zermelo-Fraenkel]].
Nel [[
:<math>\exist \mathbf{N}: \varnothing \in \mathbf{N} \and (\forall a: a \in \mathbf{N} \implies a \cup \{a\} \in \mathbf{N})</math>
| |||