Un'ipotesi di base su un sistema matematico da cui si possono dedurre teoremi. Ad esempio, il sistema potrebbe essere i punto e le retta nel piano. Allora un assioma sarebbe che, dati due punto distinti qualsiasi nel piano, esiste un'unica retta che passa per essi.