Definition:Zermelo-Fraenkel-Skolem Set Theory

From ProofWiki
Jump to navigation Jump to search


Zermelo-Fraenkel-Skolem set theory is a system of axiomatic set theory.

It consists of Zermelo-Fraenkel set theory with the inclusion of a system of first order formulas to specify the existence of properties of sets.

Source of Name

This entry was named for Ernst Friedrich Ferdinand ZermeloAbraham Halevi Fraenkel and Thoralf Albert Skolem.

Historical Note

It was Thoralf Skolem who proposed the amendment to Zermelo-Fraenkel set theory to sharpen the specification of the axiom of replacement.

He considered it necessary to express the axiom of specification as an infinite number of axioms: one for every first order formula.

Zermelo disagreed forcefully against Skolem's approach, preferring the philosophical position that a property should be allowed to be considered as all possible meaningful conditions, not just propositions in first order logic.

Skolem's position was that Zermelo's notion of property was too vague to be completely satisfactory.