ZFC
Un article de Wikipédia, l'encyclopédie libre.
 |
Cet article est une ébauche à compléter concernant les mathématiques, vous pouvez partager vos connaissances en le modifiant. |
En mathématiques, l'abréviation ZFC désigne la théorie de Zermelo-Fraenkel-Skolem, théorie axiomatique des ensembles la plus couramment utilisée en mathématiques contemporaines.
Sommaire |
[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 – Accédez aux articles de Wikipédia concernant les mathématiques. |
