ZFC

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

[modifier] 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

[modifier] Théorie ZF

• Axiome de remplacement

[modifier] Théorie ZFC

• Axiome de choix

[modifier] Autres axiomes

• Axiome de fondation
• Axiomes de grands cardinaux

• Portail des mathématiques