Département:Fondements logiques et ensemblistes des mathématiques

Département : Fondements logiques et ensemblistes des mathématiques

Faculté de Mathématiques

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.

[]

Leçons par thème

Logique mathématique Introduction à la logique mathématique Propositions et opération élémentaire Implication et équivalence Logique formelle Logique (mathématiques) L'incomplétude mathématique Logique des propositions

Théorie des ensembles Ensemble Relation Application Ensemble des nombres réels et sous-ensembles Axiomes des théories des ensembles Axiomes de Peano Nombres ordinaux transfinis

Généralité mathématique Introduction aux mathématiques Fondements des mathématiques Vocabulaire et notations mathématiques Rédaction mathématique Apprendre à lire les expressions mathématiques

[]

Documents par niveau

Niveau 0	Niveau 1	Niveau 2
Niveau 3	Niveau 4	Niveau 5
Niveau 6	Niveau 7	Niveau 8
Niveau 9	Niveau 10	Niveau 11
		Application (mathématiques) Ensemble des nombres réels et sous-ensembles Introduction à la logique mathématique Rédaction mathématique Propositions et opération élémentaire
Niveau 12	Niveau 13	Niveau 14
	Apprendre à lire les expressions mathématiques Vocabulaire et notations mathématiques	Ensemble (mathématiques) Implication et équivalence Introduction aux mathématiques Logique formelle Relation (mathématiques)
Niveau 15	Niveau 16	Niveau 17
Logique (mathématiques) Logique des propositions	Axiomes de Peano Fondements des mathématiques L'incomplétude mathématique Nombres ordinaux transfinis	Axiomes des théories des ensembles
Niveau 18	Niveau 19	Niveau 20

[]

Participants

• Xzapro4 _Questions ? (absent depuis 2013)
• --13Malik88 (discussion) (absent depuis 2013)
• Loïc Fabiou (discuter)

[]

Voir aussi

• Département:Algèbre

[]