Material set theory

Axiom Schema of Replacement

The Axiom of Replacement, technically an axiom schema, is a possible axiom of Material set theory suggested by Abraham Fraenkel in the early 1920’s¹: zf Let be a Class function, i.e. a predicative formula such that . Then,

which is to say, the image of a set under a mapping is a set.

---

tidy | en | sembr

Footnotes

1. 2006. Notes on set theory, §11, p. 157 ↩