Skolem 悖论：数理逻辑与集合论中的一个现象——在一阶逻辑下，某些包含“不可数集合”（如实数集）的集合论公理体系（如 ZF/ZFC）可以有可数的模型。也就是说，从“外部”（元理论角度）看该模型的所有对象可数；但从“模型内部”看，它仍“认为”某些集合是不可数的。这并非真正的矛盾，而是反映了“一阶语言无法唯一刻画‘可数/不可数’的绝对意义”。
/ˈskoʊləm ˈpærədɑːks/
The Skolem paradox often surprises students of set theory.
Skolem 悖论常常让集合论初学者感到惊讶。
In a countable model of ZF, the model can still contain a set it regards as uncountable, illustrating the Skolem paradox.
在 ZF 的一个可数模型中，模型仍可能包含一个它“认为”不可数的集合，这就体现了 Skolem 悖论。
该术语以挪威逻辑学家 Thoralf Skolem（托拉尔夫·斯科勒姆） 命名。它与 Löwenheim–Skolem 定理（勒文海姆–斯科勒姆定理） 密切相关：该定理表明，许多一阶理论只要有无限模型，就会有可数模型。Skolem 在研究集合论的一阶表述时指出，由此会出现“外部可数、内部不可数”的张力，于是形成了所谓的“Skolem 悖论”。
Select Language