Zermelo–Fraenkel set theory
Let us take as an example the axiom schema of replacement in Zermelo–Fraenkel set theory.