Une hypothèse de base sur un système mathématique à partir de laquelle des théorèmes peuvent être déduits. Par exemple, le système pourrait être les points et les droites dans le plan. Alors un axiome serait que pour deux points distincts quelconques dans le plan, il existe une unique droite passant par ces points.