Schema di assiomi di rimpiazzamento: differenze tra le versioni

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.

 

Lo schema di assiomi di rimpiazzamento non era parte dell'assiomatizzazione della teoria degli insiemi del [[1908]] di [[Ernst Zermelo]] ('''Z'''); la sua introduzione da parte di [[Adolf Fraenkel]] nel [[1922]] è quella che rende la moderna teoria degli insiemi Zermelo-''Fraenkel'' ('''ZF''').