Comment les axiomes de Zermelo-Fraenkel construisent toutes les mathématiques
Les axiomes de Zermelo-Fraenkel offrent une base rigoureuse et sans paradoxe pour la théorie des ensembles. Ils permettent le développement structuré de presque toutes les mathématiques modernes. Ils influencent même l'informatique.
Les axiomes de Zermelo-Fraenkel (ZF) sont la base de la théorie des ensembles. C'est le langage mathématique qui construit presque tous les autres concepts. Ernst Zermelo les a introduits en 1908. Abraham Fraenkel les a ensuite améliorés. Ces règles évitent les paradoxes, comme celui de Russell. Elles assurent la cohérence mathématique.
Il y a plus à découvrir — ouvrez l'app pour continuer la lecture.
Continuer la Lecture dans l'App
2 paragraphes de plus · et un quiz de 3 questions