El Esquema Axiomático de Sustitución dice lo siguiente: sea formula_1 una propiedad relativa a pares de conjuntos, de manera que si los pares de conjuntos formula_2 y formula_3 verifican formula_1, entonces formula_5.