La formulación que se ha dado del axioma de reemplazo fue introducida por primera vez por Fraenkel [1929], y apareció también en los trabajos de Church [1942].