axiome :

Un axiome est une vérité évidente en soi.
Des philosophes grecs de l'antiquité considéraient que certaines affirmations étaient évidentes et ne nécessitaient aucune démonstration de preuve.

L'axiome est utilisé en mathématiques et en informatique comme un fait établi et non contradictoire sur lequel nous pouvons nous reposer pour établir une théorie. Dans certains cas, les axiomes sont choisis arbitrairement. La pertinence d'une théorie dépend donc de la pertinence de ses axiomes.