e/Skolem's paradox

Information
has gloss	eng: In mathematical logic and philosophy, Skolems paradox is a seeming contradiction that arises from the downward Löwenheim-Skolem theorem. Thoralf Skolem (1922) was the first to discuss the seemingly contradictory aspects of the theorem, and to discover the relativity of set-theoretic notions now known as non-absoluteness. Although it is not an actual antinomy like Russells paradox, the result is typically called a paradox, and was described as a "paradoxical state of affairs" by Skolem (1922: p. 295).
lexicalization	eng: Skolem's Paradox
instance of	(noun) (logic) a statement that contradicts itself; "`I always lie' is a paradox because if it is true it must be false" paradox

Meaning
German
lexicalization	deu: Skolemsches Paradoxon
French
has gloss	fra: Le paradoxe de Skolem est une conséquence troublante du théorème de Löwenheim-Skolem en théorie des ensembles. Cest un paradoxe au sens premier de ce terme : il va contre le sens commun, mais ce nest pas une antinomie, une contradiction que lon pourrait déduire dans la théorie. Il affirme quune théorie des ensembles, comme ZFC, a un modèle dénombrable, alors que l'on sait par ailleurs que ce modèle contient des ensembles non dénombrables.
lexicalization	fra: Paradoxe de Skolem
Polish
has gloss	pol: Paradoks Skolema – pozorna sprzeczność dotycząca teorii mnogości wynikająca z twierdzenia Löwenheima-Skolema. Jego autorem jest norweski logik Thoralf Skolem.
lexicalization	pol: Paradoks Skolema
Russian
has gloss	rus: Парадокс Сколема представляет собой рассуждение, связанное с использованием теоремы Лёвенгейма — Сколема для аксиоматической теории множеств.
lexicalization	rus: Парадокс Сколема
Chinese
has gloss	zho: 在数理逻辑中，特别是集合论中，Skolem 悖论是向下 Löwenheim-Skolem定理的直接结果，它声称所有一阶语言的句子的模型都有一个初等等价的可数子模型。
lexicalization	zho: 斯科伦悖论