Argument

Skolem's paradox

Overview

the paradox that there are countable models of theories that assert the existence of uncountable sets

Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).

Related ideas

• Formal language
• First-order logic
• Georg Cantor
• Gödel's completeness theorem
• Philosophy
• Compactness theorem
• Zermelo–Fraenkel set theory
• Finitism
• John von Neumann
• L. E. J. Brouwer
• Ernst Zermelo
• Intuitionism
• Mathematical logic
• Model theory
• Real number
• Domain of discourse
• Power set
• Paradox
• Set (mathematics)
• Set theory
• Stephen Cole Kleene
• Semantics
• Completeness (logic)
• Uncountable set

Place in the tradition

Part of First-order logic.

Explore Skolem's paradox in the interactive graph →