We turn now to the very interesting subject of models of set theory. Intuitively by a model of set theory we mean a system in which the axioms and theorems of ZF are true. Such a system must consist of a domain of objects that we interpret as the universe V of our theory and a binary relation that we interpret as the ϵ-relation of our theory.
KeywordsInduction Hypothesis Binary Relation Free Variable Predicate Symbol Standard Structure
Unable to display preview. Download preview PDF.