Евклидова геометрия
Евкли́дова геоме́трия, геометрия пространства, описываемого системой аксиом, первое систематическое (но недостаточно строгое) изложение которой было дано в «Началах» Евклида. Обычно пространство евклидовой геометрии описывается как совокупность объектов трёх родов, называемых точками, прямыми, плоскостями; отношениями между ними: принадлежности, порядка («лежать между»), конгруэнтности (или понятием движения); непрерывностью. Особое место в аксиоматике евклидовой геометрии занимает аксиома о параллельных (пятый постулат). Первая достаточно строгая аксиоматика евклидовой геометрии была предложена Д. Гильбертом. Существуют модификации системы аксиом Гильберта и другие варианты аксиоматики евклидовой геометрии. Например, в векторно-точечной аксиоматике за одно из основных понятий принято понятие вектора; в основу аксиоматики евклидовой геометрии может быть положено отношение симметрии (Ф. Бахман. 1969).