axiomes
Définition
En mathématiques et en logique, un axiome est une proposition de base, une vérité première que l'on accepte comme évidente sans avoir besoin de la démontrer. Les axiomes servent de fondement à un système de raisonnement : à partir d'eux, on peut déduire par démonstration toutes les autres propositions (théorèmes) d'une théorie. Par exemple, en géométrie euclidienne, le postulat "Par deux points distincts passe une droite et une seule" est un axiome. Contrairement aux hypothèses, les axiomes ne sont pas provisoires ; ils sont considérés comme vrais dans le cadre du système qu'ils définissent. Ils ne sont pas "vrais" absolument, mais sont des conventions de départ acceptées pour construire un édifice logique cohérent. En philosophie, un axiome peut aussi désigner un principe moral ou une croyance fondamentale considérée comme indiscutable.
Définition simple
Un axiome est une règle de départ qu'on accepte comme vraie sans la prouver. C'est le point de départ pour construire tout un raisonnement, surtout en maths. Par exemple : "Le tout est plus grand que la partie".
✏️Exemples d'utilisation
- •"En arithmétique, l'axiome "a + b = b + a" (commutativité de l'addition) est accepté sans démonstration."
- •"Le fameux axiome d'Euclide : "Par un point extérieur à une droite, il passe une parallèle à cette droite et une seule"."
- •"En logique, le principe de non-contradiction : "Une proposition ne peut être à la fois vraie et fausse" est un axiome fondamental."
💡À retenir
Il est crucial de comprendre que la validité d'un axiome n'est pas universelle, mais relative au système dans lequel on travaille. Changer un axiome peut créer une mathématique totalement différente (comme les géométries non-euclidiennes). Les axiomes ne sont pas "découverts" mais "choisis" pour leur fécondité et leur cohérence. Ils représentent le socle minimal sur lequel repose tout l'édifice déductif d'une science démonstrative.
