체르멜로-프렝켈 집합론
Let us take as an example the axiom schema of replacement in Zermelo–Fraenkel set theory.