A basic assumption about a mathematical system from which theorems can be deduced. For example, the system could be the points and lines in the plane. Then an axiom would be that given any two distinct points in the plane, there is a unique line through them.