##  [Paradoxe de Skolem](/index.php/fr/node/60119) 

  ##  [Paradoxe de Skolem](https://mathlogic.quantumdictionary.io/fr/node/60120) 

  

 [![Mathematics & Logic Dictionary](/sites/default/files/styles/large/public/2026-01/Mathematics%20%26%20Logic.png.webp?itok=UhtTRPnp)](/index.php/topic-specific-dictionaries/natural-formal-sciences/mathematics-logic)

- Natural & Formal Sciences -

**Mathematics & Logic Dictionary**

 







 

 

 

 



 

 

 

 

Définition

La tension apparente selon laquelle la logique du premier ordre autorise des modèles dénombrables de théories qui, de l'intérieur, affirment l'existence d'ensembles indénombrables, issue du théorème de Löwenheim–Skolem et de la relativité de 'dénombrable' selon qu'on le considère depuis l'intérieur ou l'extérieur d'un modèle.