Discuter:Schéma d'axiomes de remplacement

Un article de Wikipédia, l'encyclopédie libre.

	Schéma d'axiomes de remplacement fait partie du projet Mathématiques, qui a pour but d'enrichir le contenu de Wikipédia sur les sujets liés aux mathématiques. Si vous voulez participer, vous pouvez modifier cet article ou visiter la page du projet, où vous pourrez vous joindre au projet et consulter la liste des tâches et des objectifs. Le portail Mathématiques pourrait aussi vous intéresser.
À évaluer	Cet article a été classé comme d'Avancement ? selon le Tableau d'évaluation du projet. (Voir les statistiques)
À évaluer	Cet article a été classé comme d'Importance ? selon le Tableau d'évaluation du projet.

Whouah, c'est dense, prévoir les aspirines !!! Je pense que quand j'aurai compris, je proposerai une version « éclaircie ». Sinon, je serais très content si quelqu'un m'épargnais cette peine !! ;-) --Ąļḋøø 26 aoû 2004 à 13:33 (CEST)

Vu qu'il y en a plusieurs, j'aurai tendance à mettre un pluriel à axiome, dans "schéma d'axiomes". C'est ce que fait Krivine (Théorie axiomatique des ensembles). Sauf si quelqu'un peut justifier le singulier il faudrait corriger. Proz 24 juillet 2006 à 14:42 (CEST) Finalement ça m'a semblé assez évident pour le faire directement, j'ai essayé aussi d'améliorer un peu. L'explication de la formule peut me semble-t-il être améliorée. Il reste à préciser de "vraies" applications, donner un historique (Fraenkel ?)etc. Proz 24 juillet 2006 à 15:32 (CEST)

J'ai ajouté des paramètres à l'énoncé de l'axiome, ce qui est nécessaire, et pour que l'on puisse en déduire le schéma de compréhension. J'ai pas mal reformulé à l'occasion : présentation informelle avant présentation formelle en gros. Proz 7 septembre 2006 à 20:14 (CEST)