Well-founded model of set theory
= Well-founded model of set theory
A model of set theory is well-founded when its internally interpreted membership relation is a <well-founded relation> externally. By the <Mostowski collapse theorem>, every well-founded extensional set model is isomorphic to a transitive model.