Département:Fondements logiques et ensemblistes des mathématiques/Présentation du département

Une page de Wikiversité.
Sauter à la navigation Sauter à la recherche

Les mathématiques reposent sur deux piliers.

La logique concerne les fondements des mathématiques, étudiant le raisonnement et sa nature plutôt que sa formulation. Ce domaine fixe les axiomes premiers sur lesquels sont bâtis les théorèmes, corollaires et démonstrations. On sait désormais utiliser les ordinateurs pour vérifier la cohérence de raisonnements.

Par ailleurs, la théorie des ensembles, à la fois très générale et très précisément étudiée, est à la base de toutes les structures d'objets mathématiques.