1. Premiers fondements des mathématiques

1.1. Introduction aux fondements des mathématiques

Mathématiques et théories

Les mathématiques sont l'étude des systèmes d'objets élémentaires, dont la seule nature considérée est d'être exacts, sans ambiguïté (deux objets sont égaux ou différents, reliés ou non, une opération donne un résultat exactement, etc.). Ces systèmes sont conçus indépendamment de notre monde habituel, même si nombre d'entre eux peuvent ressembler à (et permettent donc de décrire) diverses parties de celui-ci. Les mathématiques dans leur ensemble peuvent être vus comme «science de tous les mondes possibles» de cette espèce (faits d'objets exacts).
Les mathématiques se divisent en diverses branches, cadres implicites ou explicites de tout travail mathématique, pouvant se formaliser comme théories (axiomatiques). Chaque théorie est l'étude d'un système (monde) d'objets, supposé fixé et appelé son modèle. Mais chaque modèle d'une théorie peut n'être qu'une de ses interprétations possibles, parmi d'autres modèles également légitimes. Par exemple, en gros, toutes les feuilles de papier sont des systèmes de points matériels, modèles de la même théorie de la géométrie Euclidienne plane, mais indépendants les uns des autres.

Fondements et développements

Le contenu d'une théorie, décrivant son/ses modèle(s), est fait de composants qui sont des éléments de description (concepts et informations, décrits en 1.3). Une théorie démarre par le choix d'un fondement formé d'un cadre logique et d'une version initiale du contenu (de préférence petite ou au moins simplement descriptible), dont les composants sont qualifiés de primitifs.
L'étude de la théorie progresse en choisissant certains de ses développements possibles : de nouveaux composants qui résultent de son contenu actuel, et peuvent lui être ajoutés pour former son contenu suivant. Ces différents contenus, ayant la même signification (décrivant essentiellement les mêmes modèles), jouent le rôle de présentations différentes de la même théorie. Les autres développements possibles (non encore choisis) pourront toujours être effectués plus tard, car la partie du fondement qui pouvait les engendrer subsiste. Dès lors la totalité des développements possibles d'une théorie, indépendante de l'ordre choisi pour les effectuer, forme déjà une sorte de «réalité» que ces développements explorent.

Pour exprimer les propriétés de ses modèles, le contenu d'une théorie comprend une liste d'énoncés qui sont des formules annoncées comme vraies dans chaque modèle où elles sont interprétées. Les énoncés primitifs sont appelés axiomes. D'autres énoncés appelés théorèmes s'ajoutent au contenu par développement, à la condition qu'ils soient prouvés (déduits) à partir des précédents: ceci garantit qu'ils soient vrais dans tous les modèles, du moment que les précédents l'étaient. Les théorèmes sont alors utilisables dans les développements suivants de la théorie au même titre que les axiomes. Les autres sortes de développements (définitions et constructions) ajoutant d'autres composants au-delà des énoncés sont décrits en 4.8 et 4.9.
Une théorie est cohérente (ou consistante) si ses théorèmes ne se contrediront jamais. Les théories incohérentes ne peuvent avoir aucun modèle, un même énoncé ne pouvaut être vrai et faux sur un même système. Le théorème de complétude (4.6) montrera que l'ensemble de tous les théorèmes possibles reflète précisément la réalité plus intéressante de la diversité des modèles, qui existent pour toute théorie cohérente.

Il y a des hiérarchies possibles entre théories, certaines pouvant jouer un rôle fondateur pour d'autres. Notamment, les fondements de plusieurs théories peuvent avoir une partie commune formant une théorie plus simple, dont les développements sont applicables à toutes.
Un travail fondamental est de développer, à partir d'une base initiale simple, un corps de connaissances commodes pour servir de "fondement" plus complet, muni d'outils efficaces ouvrant des voies plus directes vers d'autres développements intéressants.

Le cycle des fondements

Malgré la simplicité de nature des objets mathématiques, le fondement général de toutes les mathématiques s'avère assez complexe (quoique moins qu'une théorie du tout de la physique). En effet, c'est également une étude mathématique, donc une branche des mathématiques appelée la logique mathématique. Comme toute autre branche, elle est formée de définitions et théorèmes sur des systèmes d'objets. Mais comme son objet est la forme générale des théories et des systèmes décrits par celles-ci, elle fournit le cadre général de toutes les branches des mathématiques... elle-même incluse.

Et pour fournir ainsi le cadre ou fondement de chaque fondement considéré (à l'inverse des travaux mathématiques ordinaires avançant à partir d'un fondement admis), elle ne ressemble pas à un point de départ précis, mais à une sorte de vaste cycle composé d'étapes plus ou moins difficiles. Néanmoins, ce cycle des fondements joue bien un rôle fondateur pour les mathématiques, fournissant un cadre rigoureux et de nombreuses notions utiles à diverses branches des mathématiques (outils, inspirations et réponses à diverses questions philosophiques).

(Cette situation ressemble à celle des dictionnaires définissant chaque mot par d'autres mots, ou d'une autre science des systèmes finis: l'informatique. On peut en effet simplement utiliser les ordinateurs, sachant ce qu'on fait mais non pourquoi cela fonctionne; leur fonctionnement se base sur des logiciels qui furent rédigés dans un certain langage puis compilés par d'autres logiciels, et sur le matériel et le processeur dont la conception et la fabrication furent assistées par ordinateur. Et c'est nettement mieux ainsi qu'à la naissance de cette discipline.)
Il est dominé par deux théories: Chacune est le cadre naturel pour formaliser l'autre: toute théorie des ensembles se formalise comme théorie décrite par la théorie des modèles; celle-ci vient mieux comme développement de la théorie des ensembles (définissant théories et systèmes comme objets complexes), que directement comme théorie. Ces deux liens doivent être considérés séparément : les deux rôles de la théorie des ensembles, comme cadre et comme objet d'étude pour la théorie des modèles, doivent être distingués. Mais ces formalisations nécessiteront un long travail pour être complétées.

Un démarrage des mathématiques consiste à introduire quelques concepts simples du cycle fondateur, pouvant sembler auto-suffisants autant que possible (alors qu'ils ne peuvent pas l'être absolument). Une solution habituelle et naturelle est de démarrer par une théorie des ensembles non totalement formalisée comme théorie axiomatique. On fera ainsi très brièvement au 1.2, expliquant intuitivement les concepts d'ensemble et de fonction. Puis 1.3 commencera à introduire le principal tableau des fondements (théorie des modèles) permettant de formaliser la théorie des ensembles, avec ses principales subtilités (paradoxes).

Théorie des ensembles et fondements des mathématiques
1. Premiers fondements des mathématiques
1.1. Introduction aux fondements des mathématiques
1.2. Variables, ensembles, fonctions et opérations
1.3. Forme des théories: notions, objets, méta-objets
1.4. Structures mathématiques
1.5. Expressions et structures définissables
1.6. Connecteurs logiques
1.7. Classes en théorie des ensembles
1.8. Symboles liants en théorie des ensembles
1.9. Quantificateurs
1.10. Formalisation de la théorie des ensembles
1.11. Principe de génération des ensembles
 ⇨ Aspects philosophiques
Temps en théorie des modèles
Temps en théorie des ensembles
Interprétation des classes
Concepts de vérité en mathématiques
2. Théorie des ensembles (suite)
3. Théorie des modèles
Other languages:
EN : 1. First foundations of mathematics : 1.1. Introduction to the foundation of mathematics