El esquema de reemplazo fue introducido por Fraenkel y Skolem con la finalidad de extender la fuerza del esquema de especificación, así como también posibilitar el conteo de números ordinales más allá de lo que permite el axioma de infinitud.