Past exam of the mathematics course of the University of Cambridge / 2015 / iii / Paper 24 / 4 / a / i

A standard membership model of set theory has the actual membership relation:When “standard model” is used with the transitive-model convention, one also requires $M$ to be transitive: $x\in y\in M$ implies $x\in M$. Under a convention where standard means only actual membership, this extra requirement defines a transitive model. The set-theoretic absoluteness arguments below use transitive models of ZFC, so that bounded quantification and ordinals have their intended meaning.