lem 悖论是向下 Löwenheim-Skolem定理的直接结果，它声称所有一阶语言的句子的模型都有一个初等等价的可数子模型。这个悖论见于Zermelo-Fraenkel 集合论中。康托尔在 1874年发表的更早的结果是，存在不可数集合比如自然数的幂集，实数的集合，和着名的康托尔集。这些集合存在于任何 Zermelo-Fraenkel 全集中，因为它们的存在可从公理得出。使用 Löwenheim-Skolem 定理，我们可以得到只包含可数个对象的集合论的模型。但是，它必须包含上述提及到的不可数集合，这