Paradoxe de Skolem

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.