Axiome

Un axiome (en ἀξίωμα /axioma, « principe servant de base à une démonstration, principe évident en soi » – lui-même dérivé de άξιόω (axioô), « juger convenable, croire juste ») est une proposition non démontrée, utilisée comme fondement d’un raisonnement ou d’une théorie mathématique. Pour Euclide et certains philosophes grecs de l’Antiquité, un axiome était une affirmation qu'ils considéraient comme évidente et qui n'avait nul besoin de démonstration. Pour l'épistémologie (branche de la philosophie des sciences), un axiome est une vérité évidente en soi sur laquelle une autre connaissance peut se reposer, autrement dit peut être construite. Tous les épistémologues n'admettent pas que les axiomes, dans ce sens du terme, existent. Dans certains courants philosophiques, comme l'objectivisme, le mot « axiome » a une connotation particulière : un énoncé est axiomatique s'il est impossible de le nier sans se contredire. Par exemple : « Il existe une vérité absolue » ou « Le langage existe » sont des axiomes. En mathématiques, le mot axiome désignait une proposition qui est évidente en soi dans la tradition mathématique des Éléments d’Euclide. L’axiome est utilisé désormais, en logique mathématique, pour désigner une vérité première, à l'intérieur d'une théorie. L'ensemble des axiomes d'une théorie est appelé axiomatique ou théorie axiomatique. Cette axiomatique doit être non contradictoire. Cette axiomatique définit la théorie. Un axiome représente donc un point de départ dans un système de logique. La pertinence d'une théorie dépend de la pertinence de ses axiomes et de leur interprétation. L'axiome est donc à la logique mathématique, ce qu'est le principe à la physique théorique. Dans tout système de logique formelle, il y a comme point de départ des axiomes. Par exemple, on peut définir une arithmétique simple, comprenant un ensemble de « nombres », une loi de composition : l'addition notée "+", interne à cet ensemble, une égalité qui est réflexive, symétrique et transitive, et en posant (en s'inspirant un peu de Peano) : un nombre noté 0 existe tout nombre X a un successeur noté succ(X) X + 0 = X succ(X) + Y = X + succ(Y) Des théorèmes peuvent être démontrés à partir de ces axiomes.