Un axiome désigne une proposition considérée comme évidente qui n’admet pas de démonstration dans une théorie. L'ensemble des axiomes d'une théorie est appelé axiomatique.