Базовое предположение о математической системе, из которого можно вывести теоремы. Например, системой могут быть точка и прямая на плоскость. Тогда аксиома будет утверждение, что для любых двух различных точка на плоскость существует единственная прямая, проходящая через них.