Аксиомы (или постулаты) — это утверждения, которые принимаются истинными без доказательств. Они являются основой для построения всей теории в какой-либо области знаний, например, в геометрии.
Аксиомы должны быть:
- Очевидными (или интуитивно понятными).
- Непротиворечивыми (не должны противоречить друг другу).
- Достаточными (должно быть достаточно аксиом для вывода всех остальных теорем).
Примеры аксиом (из евклидовой геометрии):
- Через любые две точки можно провести ровно одну прямую.
- Любой отрезок можно продолжить на той же прямой в обе стороны.
- Вокруг любой точки, как центра, можно провести окружность сколь угодно большого радиуса.
- Все прямые углы равны между собой.
- Через точку, не лежащую на данной прямой, можно провести не более одной прямой, параллельной данной (пятый постулат Евклида, который также известен как аксиома параллельности).
Аксиомы служат фундаментом, на котором строятся все дальнейшие рассуждения и доказательства в математике.