Definition:Zermelo-Fraenkel-Skolem Set Theory
Zermelo-Fraenkel-Skolem set theory is a system of axiomatic set theory.
Source of Name
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.
- 2010: Raymond M. Smullyan and Melvin Fitting: Set Theory and the Continuum Problem (revised ed.) ... (previous) ... (next): Chapter $1$: General Background: $\S 9$ Zermelo set theory