Schema di assiomi di rimpiazzamento: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m Robot: Automated text replacement (-([Pp]erch)è +\1é) |
|||
Riga 36:
In realtà il rimpiazzamento non è necessario nella matematica ordinaria, e serve solo per determinati risultati della [[teoria assiomatica degli insiemi]].
Ad esempio il rimpiazzamento è necessario per costruire l'[[ordinale di von Neumann]] da ω<sub>2</sub> in avanti, e gli ordinali di von Neumann servono in alcune aree della teoria degli insiemi.
Tuttavia il rimpiazzamento non è necessario alla costruzione degli [[numero ordinale (matematica)|ordinali]] usati nella teoria degli [[insieme ben ordinato|insiemi ben ordinati]].
Alcuni matematici che lavorano sui [[fondamenti della matematica]], in particolare quelli che si concentrano sulla [[teoria dei tipi]], considerano questo assioma non necessario ''in ogni caso'' e quindi non lo includono nelle loro fondazioni.
Il rimpiazzamento è difficilmente esprimibile nelle fondazioni costruite sulla teoria dei [[topos]], quindi è spesso tralasciato.
| |||