Discussion catégorie:Axiome de la théorie des ensembles

message: On a dans l'article : Théorie axiomatique des ensembles :
"Après coup, nous pouvons dire que Cantor utilisait tacitement l'axiome d'extensionnalité, et une forme très générale du schéma d'axiomes de compréhension. Cependant, ce dernier axiome conduit directement au paradoxe de Russell, quand on essaie de construire l'ensemble S = {A | A n'appartient pas à A} de tous les ensembles qui n'appartiennent pas à eux-mêmes. "
Cette phrase est gênante car laisse à penser que l'actuel schéma d'axiomes de compréhension mène au paradoxe de Russell, ce qui est bien sûr faux.
Nous sommes là face a un problème de terminologie que j'ai mentionné aussi sur la page de discussion de Axiome de séparation : quel nom est donné historiquement (et devons nous sur wikipédia donner) pour désigner l'axiome (naïf?, formel? j'avoue ne pas savoir) qui menait au paradoxe de Russell et qui a été ultérieurement réformé sous les 2 noms d'"axiome (ou shéma d'axiomes, là n'est pas la question) de séparation" et de "schéma d'axiomes de compréhension" ?
A ma connaissance on l'appelle "axiome de compréhension" , ce qui bien sûr prête à confusion. 
 
Connaissez-vous d'autres nom?
Je suggèrerais d'appeler :
1. "axiome de compréhension", par défaut d'autre nom connu pour le désigner, l'axiome contradictoire initial i.e. l'extention d'un prédicat (propriété, disait-on avant?) est un ensemble. On pourrait aussi lui consacrer un article (de type historique) servant aussi pour le lecteur perdu à ne pas le confondre avec les autres axiomes.
2. "axiome de séparation" la reformulation non contradictoire de l'ax précédent le restreignant à un ens, i.e. Si A est un ens et P un prédicat (disons unaire) la classe des x appartenant à A tq Px est un ensemble.
3. "shéma d'axiomes de séparation" ce qui est ici (et dans bcp de manuels ... mais qui n'abordent pas forcément l'aspect historique) appelé "schéma d'axiomes de compréhension" (mais on pourrait en dire un mot dans l'article après renommage).  pi de toute façon on se fout un peu de ce shéma car il découle de celui de remplacement et a un intérêt plus didactique/historique (justement!) que théorique  :-)
Cette solution a le désavantage de heurter l'usage, mais à ma connaissance personne en entendant le mot "séparation" (qui évoque, par son nom, l'intersection d'une classe avec un ensemble) ne va le confondre avec l'axiome initial contradictoire. Le français me semble avoir contrairement à l'anglais ces 2 mots "séparation" et "compréhension", on peut en tirer bénéfice (mais ça peut poser pb car l'essentiel des articles de logique sont en anglais).
Maintenant je ne sais pas trop, y a t-il dans l'usage du terme "axiome de séparation" une nuance de type axiome naïf ou axiome du 2ème ordre qui sert justement à le distinguer d'un "shéma" axiomatique d'axiomes du premier ordre, ce qui rendrait le choix que je propose peu judicieux?
Donc :
- Connaissez vous un nom non-ambigu pour désigner cet axiome contradictoire (et où quand comment il a été formulé?), et par défaut
 
- (mais seulement par défaut) que pensez vous de ma suggession? Maintenant quel que soit le choix fait il faudra harmoniser cette décision dans tous les articles, le but étant bien sûr que le lecteur de bonne volonté ait les moyens de , euh, ... comprendre ce qui lui est dit sans schizophrénie (séparation).  Ok je sorts  -->
p.s : je viens de créer l'article Axiome d'anti-fondation assez rapidement (yaveh pas) et de manière entièrement informel, si vous pouvez relire (tout amender, virer mes POV etc ...[bref tout casser :-)]  et surtout donner les bonnes définitions amenant à l'énoncé exact), bah se serait bien (en l'état c'est un brouillon qui n'a comme légitimité que de boucher un trou).
--Epsilon0 30 mars 2007 à 21:53 (CEST)
replies: text: Je ne connais a pas grand chose en théorie axiomatique des ensembles, mais ma référence est le livre de Jean-Louis Krivine.  Quelle est sa position sur cette terminologie?  Il me paraitrait hasardeux de créer pour Wikipédia notre propre terminologie.  Question:  Cantor avait-il une notion d'axiomes? Pierre de Lyon 3 avril 2007 à 02:00 (CEST)
thread_title:  Problème d'homonymie