. . . "4698"^^ . "Skolem's paradox"@en . . . . . "1377913"^^ . . "Paradoxo de Skolem"@pt . "En logique math\u00E9matique et en philosophie analytique, le paradoxe de Skolem est une cons\u00E9quence troublante du th\u00E9or\u00E8me de L\u00F6wenheim-Skolem en th\u00E9orie des ensembles. Il affirme qu'une th\u00E9orie des ensembles, comme ZFC, si elle a un mod\u00E8le, a un mod\u00E8le d\u00E9nombrable, bien que l'on puisse par ailleurs d\u00E9finir une formule qui exprime l'existence d'ensembles non d\u00E9nombrables. C'est un paradoxe au sens premier de ce terme : il va contre le sens commun, mais ce n'est pas une antinomie, une contradiction que l'on pourrait d\u00E9duire dans la th\u00E9orie."@fr . . . . . . . . "En logique math\u00E9matique et en philosophie analytique, le paradoxe de Skolem est une cons\u00E9quence troublante du th\u00E9or\u00E8me de L\u00F6wenheim-Skolem en th\u00E9orie des ensembles. Il affirme qu'une th\u00E9orie des ensembles, comme ZFC, si elle a un mod\u00E8le, a un mod\u00E8le d\u00E9nombrable, bien que l'on puisse par ailleurs d\u00E9finir une formule qui exprime l'existence d'ensembles non d\u00E9nombrables. C'est un paradoxe au sens premier de ce terme : il va contre le sens commun, mais ce n'est pas une antinomie, une contradiction que l'on pourrait d\u00E9duire dans la th\u00E9orie."@fr . . "183935449"^^ . . . . . . . . . . . . . . . "\u041F\u0430\u0440\u0430\u0434\u043E\u043A\u0441 \u0421\u043A\u0443\u043B\u0435\u043C\u0430"@ru . . . . . "L\u00F6wenheim-Skolem-Theorem"@de . . . . "Paradoxe de Skolem"@fr . "Paradoxa de Skolem"@ca . . .