Qu’est ce que : Définition de Axiom
Au sein du langage, un axiome est défini comme une phrase ou une idée qui va de soi et qui n’a donc pas besoin d’une quelconque preuve pour l’affirmer ou la nier. C’est le cas d’une phrase comme ‘Jean est Jean’. Les axiomes sont utilisés dans différents domaines, mais ils sont particulièrement utiles pour les sciences telles que les mathématiques ou la logique, car ils servent de base à tout type d’étude ou d’analyse plus complexe.Les axiomes sont peut-être les éléments les plus importants d’une enquête scientifique, quelle qu’elle soit, car ce sont ceux qui supposent une vérité indiscutable (établie dans son contenu et impossible à nier par elle-même) à partir de laquelle on peut continuer à faire toutes sortes de déductions ou d’hypothèses qui, par la suite, doivent être prouvées ou niées. Les axiomes servent alors de déclencheurs à la démarche scientifique, puisque sans eux, il n’y aurait pas de vérité préalable à partir de laquelle partir. Traditionnellement, ce système est déductif, puisqu’une règle scientifique possible est déduite d’une vérité axiomatique préexistante. Pour mieux comprendre cette notion d’existence d’une vérité indubitable ou invariable, on peut ajouter que le terme axiome vient du grec axios. Ce terme désigne à son tour la notion de ‘ce qui est juste ou correct’. C’est pourquoi l’axiome est celui qui, parce qu’il est correct, ne nécessite aucune preuve ou vérification.
Il est donc important de noter que les axiomes sont des formes vraies du langage et de la logique puisque, indépendamment de leur contenu ou de l’interprétation qui leur est donnée, la structure formelle est maintenue et suppose toujours quelque chose d’évident ou d’explicite. Ainsi, elles font partie des formes logiques les plus simples et les plus basiques, car une plus grande complexité signifierait plus de place pour la remise en question ou la négation.