Из Большой Советской Энциклопедии.
Евклидова геометрия, геометрия, систематическое построение которой было впервые дано в 3 в. до н. э. Евклидом. Система аксиом Е. г. опирается на следующие основные понятия: точка, прямая, плоскость, движение и следующие отношения: «точка лежит на прямой на плоскости», «точка лежит между двумя другими». В современном изложении систему аксиом Е. г. разбивают на следующие пять групп.
I. Аксиомы сочетания. 1) Через каждые две точки можно провести прямую и притом только одну. 2) На каждой прямой лежат по крайней мере две точки. Существуют хотя бы три точки, не лежащие на одной прямой. 3) Через каждые три точки, не лежащие на одной прямой, можно провести плоскость и притом только одну. 4) На каждой плоскости есть по крайней мере три точки и существуют хотя бы четыре точки, не лежащие в одной плоскости. 5) Если две точки данной прямой лежат на данной плоскости, то и сама прямая лежит на этой плоскости. 6) Если две плоскости имеют общую точку, то они имеют ещё одну общую точку