This axiom schema states: For every formula formula_18 that quantifies only over sets, there exists a class formula_19 consisting of the satisfying the formula—that is, formula_20 Then the axiom schema of replacement is replaced by a single axiom that uses a class.