In mathematics, specifically model theory, Skolem's Paradox is a direct result of the Löwenheim-Skolem Theorem, which states that every infinite model has an elementarily equivalent countably infinite submodel.

The paradox is seen in Zermelo-Fraenkel set theory. One of the earliest results (Cantor, 1874) was the existence of uncountable sets, such as the powerset of the natural numbers, the set of real numbers, and the well-known Cantor set. These sets exist in any Zermelo-Fraenkel universe, since they follow directly from the axioms. Using the Löwenheim-Skolem Theorem, we can get a model of set theory which only contains a countable number of objects. However, it must contain the fore-mentioned uncountable sets, which appears to be a contradiction. However, the sets in question are only uncountable in the sense that there does not exist within the model a bijection from the natural numbers onto the sets. It is entirely possible that there is a bijection outside the model.