Discussion:Paradoxe de Skolem
- Admissibilité
- Neutralité
- Droit d'auteur
- Article de qualité
- Bon article
- Lumière sur
- À faire
- Archives
- Commons
Cet article est indexé par le projet Mathématiques.
Les projets ont pour but d’enrichir le contenu de Wikipédia en aidant à la coordination du travail des contributeurs. Vous pouvez modifier directement cet article ou visiter les pages de projets pour prendre conseil ou consulter la liste des tâches et des objectifs.
| Avancement | Importance | pour le projet | |
|---|---|---|---|
| Bon début | Faible |  | Mathématiques (discussion • critères • liste • stats • hist. • comité • stats vues) |
Cet article ne comporte pas de liste de tâches suggérées. Vous pouvez saisir une liste de tâches à accomplir (par exemple sous forme d'une liste à puces), puis sauvegarder. Vous pouvez aussi consulter la page d'aide.
ébauche modifier
J'ai mis l'article en ébauche car il manque au minimum une référence à l'article original de Skolem, une discussion historique, quelques sources en général ... J'ai reformulé par ailleurs l'existant en essayant d'être plus précis. Proz 29 avril 2007 à 20:09 (CEST)
81.244.70.166 (d) 12 mars 2011 à 11:46 (CET) C'est intéressant pour les réels, mais que devient la bijection entre ω (ou N) et ? L'ensemble des entiers et son ensemble des parties sont deux ensembles dénombrables dans le modèle dénombrable.
Il n'y a pas de "le" modèle dénombrable. Si ZFC admet un modèle, elle admet "un" modèle dénombrable. Les éléments du domaine D de ce modèle peuvent être "des chats et des chiens" (comme dit sur http://plato.stanford.edu/entries/paradox-skolem/#2.2). Le symbole de prédicats ∈ est interprété comme une relation ∈M sur D X D. Mais si (a, b) est dans ∈M, ça ne veut pas dire "a appartient à b". "a" et "b" sont juste des éléments ː peut-être "un chat et un chien".--Fschwarzentruber (discuter) 26 mai 2016 à 17:58 (CEST)