Il désigne une vérité première à l'intérieur d'une théorie. Il est un point de départ dans un système de logique. L'axiome est à la logique mathématique ce qu'est le postulat à la physique théorique. Il agit comme point de départ des axiomes. Ce n'est pas un théorème , il est juste admis comme vrai.