Axiome de la théorie de Zermelo-Fraenkel :
Soient \(a_1,a_2,\ldots,a_n\) des objets en nombre fini
Il existe un unique ensemble \(E\) dont les éléments sont exactement les \(a_1,a_2,\ldots,a_n\)
On note : $$E=\{a_1,a_2,\ldots,a_n\}$$
Ensemble : collection d'objets
(Théorie de Zermelo-Fraenkel) Paradoxe du barbier - Paradoxe de Bertrand Russel