An infinite collection of axioms obtained by varying formulas. Examples: separation axiom replacement axiom