Аксиоматика евклидовой геометрии

Например, в декартовой интерпретации на плоскости точкой называется любая пара действительных чисел и взятых в определенном порядке. Числа и называются координатами точки. Прямая – совокупность всех точек, координаты которых удовлетворяют линейному уравнению (уравнения прямой), точка принадлежит прямой, если она является одной из ее точек, т.е. ее координаты удовлетворяют уравнению прямой. При таком конкретном понимании точек и прямых и отношения между ними каждая из аксиом евклидовой геометрии представляет собой некоторое утверждение, относящееся к действительным числам, и имеет место в силу соответствующих предложений арифметики. Поэтому система аксиом евклидовой геометрии непротиворечива, если не противоречива система аксиом арифметики.

Другое по теме:

Функциональный базис графомоторных навыков письма и его нарушения
Графомоторный навык — это определенные привычные положения и движения пишущей руки, позволяющие изображать письменные звуки и их соединения. Правильно сформированный графомоторный навык позволяет писать буквы четко, красиво, разборчиво, быстро. Неправильно сформированный графомоторный навык создает ...

Характеристика теоретических исследований
В силу обобщающего характера теоретического исследования все его методы имеют широкое поле применения, носят достаточно общий характер. Это методы теоретического анализа и синтеза, абстрагирования и идеализации, моделирования и конкретизации теоретического знания. Рассмотрим эти методы. Теоретическ ...

Ценности современной молодежи
Ценностные ориентации рассматриваются как смыслообразующая основа человеческой жизни, обозначающаю для личности все то, что затрагивает ее как субъект: сознание и самосознание, целеполагание, избирательность и свободу, т.е. ценностные ориентации выражают внутренний мир личности. В процессе трансфор ...