Евклид сформулировал свою геометрию на основе нескольких постулатов, которые считал аксиомами. В математике аксиомы — это очевидные истины, не требующие доказательства. Евклид определил пять постулатов.
1. Через две точки можно провести одну и только одну прямую, соединяющую их.
2. Каждый отрезок может быть бесконечно продолжен в любом направлении.
3. Можно провести любую окружность с центром в любой точке и с любым радиусом.
4. Все прямые углы подобны, то есть имеют одинаковый размер и совпадают, если их наложить друг на друга перемещением.
5. Через точку, не принадлежащую прямой, можно провести единственную прямую, параллельную данной.
На самом деле, Евклид должен был бы включить еще два постулата, которыми он пользуется в своих доказательствах:
— две окружности, центры которых разделены расстоянием меньше суммы радиусов, пересекаются в двух точках (Евклид пользуется им в своем первом построении);
— два треугольника с двумя равными сторонами и равными соответственными углами подобны, то есть имеют равные углы и стороны и, следовательно, имеют одну и ту же форму и размер.
Евклид предположил, что все постулаты очевидны и не требуют доказательства. Это не подвергалось сомнению до такой степени, что Кант в своей «Критике чистого разума» утверждал: понятия Евклида являются существенным компонентом нашего видения мира. Однако оказалось, что последний постулат в некотором роде независим и что можно отрицать его, не войдя в противоречие с предыдущими. Идея в том, чтобы по-новому определить параллельные линии, перенеся это понятие в иные, отличные от плоскости, пространства.