Paradoxe de Skolem

une conséquence troublante du théorème de Löwenheim-Skolem, qu’une théorie des ensembles, si elle a un modèle, a un modèle dénombrable, bien que l’on puisse définir une formule qui exprime l’existence d’ensembles non dénombrables

Propriétés

Catégories

Mots liés