El esquema axiomático de reemplazo dice que si formula_30 es un conjunto y formula_110 es una fórmula con dos variables libres formula_17 e formula_18, tales que para cada formula_113 existe un único formula_18 tal que formula_115 se cumple, entonces existe un conjunto formula_116 tal que formula_117 si y solo si formula_115.