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

En mathématiques, l'abréviation ZF désigne la théorie de Zermelo-Fraenkel, ZFC quand elle comprend l'axiome du choix, théorie axiomatique des ensembles la plus couramment utilisée en mathématiques contemporaines. Bien que la théorie ne porte pas le nom de Thoralf Skolem, celui-ci a également contribué à sa mise au point, indépendamment d'Abraham Fraenkel.

Sommaire 1 Théorie Z 2 Théorie ZF 3 Théorie ZFC 4 Autres axiomes 5 Voir aussi

[] Théorie Z

• Axiome d?extensionnalité (égalité d?ensembles)
• Axiomes de construction :
  • Axiome de la paire
  • Axiome de la réunion
  • Axiome des parties
  • Axiome de compréhension

[] Théorie ZF

• Axiome de remplacement

[] Théorie ZFC

• Axiome de choix

[] Autres axiomes

• Axiome de fondation
• Axiomes de grands cardinaux

[] Voir aussi

• Théorie axiomatique
• Théorie axiomatique des ensembles
• Théorie des ensembles de von Neumann-Bernays-Gödel
• Théorie des ensembles de Morse-Kelley

• Portail des mathématiques

 

Réagissez

Commentez l'encyclopédie:
Attention! tous les commentaites inaproprié seront supprimés

Titre:
Video YouTube ou google:	(doit être en rapport avec le sujet)
Votre mail:	(ne sera pas affiché sur le site)
Un pseudo:
Votre site:
Commentaire	(le html n'est pas autorisé, nombre de caractère maximum = 400)
	(Comment eBabylone 1.0 beta)

Le Texte ci-dessus est disponible sous GNU Free Documentation License.
La source est wikipedia http://fr.wikipedia.org/wiki/ZFC