nLab
Skolem's paradox

Idea

According to the Löwenheim-Skolem theorem, for a first-order theory with a countable alphabet if there is an infinite model, then there is a countable model. Let us consider the language of some form of set theory and a model satisfying the axiom of infinity. Then Cantor’s diagonal argument can be carried internally within the model and provides internally uncountable “sets” in that countable model.

The resolution of this apparent paradox is that, while this conclusion is true internally, it is not true externally: namely any two infinite sets are countable externally in that model, hence there is a 1111 function between any two of them including for a model of some uncountable set XX and of its power set P(X)P(X). However, the that function (or its graph) is not in the model! One can enlarge the model by adding that function (and more). But this extended model will necessary have P(X)P(X) uncountable externally and there is no 1111 function from XX to P(X)P(X) externally any more.

Revised on March 26, 2014 04:36:01 by Urs Schreiber (185.37.147.12)