Uma suposição básica sobre um sistema matemático a partir da qual teoremas podem ser deduzidos. Por exemplo, o sistema poderia ser os ponto e as reta no plano. Então, um axioma seria que, dados dois ponto distintos quaisquer no plano, existe uma única reta que passa por eles.