Axiomatisation
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'axiomatisation est une formalisation s'appuyant sur des axiomes destinée à rendre une branche rigoureuse, c'est-à-dire sans contradiction importante.
Parmi les plus célèbres axiomatisations, citons celles de la géométrie par Euclide dans ses Éléments et celle de la théorie des ensembles par Zermelo et Fraenke : la théorie ZFC.
Un tel processus naît la plupart du temps de paradoxes dits irrésolubles, tel le paradoxe de Russell.
|
Portail des mathématiques – Accédez aux articles de Wikipédia concernant les mathématiques. |
