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's1: #m/def/set/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.

#state/tidy | #lang/en | #SemBr

Footnotes

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