Definition:Zermelo-Fraenkel-Skolem Set Theory/Historical Note

From ProofWiki
Jump to navigation Jump to search

Historical Note on Zermelo-Fraenkel-Skolem Set Theory

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.