Mathématiques, informatique, politique et poésie
On désigne par les initiales *ZFC* un système axiomatique de la théorie des ensembles. Il contient :
- Axiome d'extensionnalité - Axiome de la paire - Axiome de la réunion - Axiome de l'ensemble des parties - Axiome de l'infini - Schéma d'axiomes de remplacement - Schéma d'axiomes de séparation - Axiome de fondation - Axiome du choix
On considère quelquefois le système ZFC privé de l'axiome du choix, on le note ZF.