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

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

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

Детский дизайн, его особенности, типы и виды
Элементарные подделки ребенка можно рассматривать как его проектную деятельность, поскольку уже в несложных аранжировках он планирует определенный результат. Ребенок знакомится с разными художественными приемами и поделочными материалами, с доступными способами изготовления и украшения своих издели ...

Молодежная наука как фактор развития одаренных студентов
Молодежная наука – это форма объединения молодых людей, проявляющих интерес к научному знанию и пытающихся овладеть способами его получения, объединения студентов и их наставников, а также особые методы и формы научной подготовки молодежи. В рамках такого объединения решаются две тесно связанные и ...

Формированпие экологической этики в современной теории социума
Термин «этика окружающей среды» – фактически целая область, - феномен, возникший недавно, действительно ставший актуальным только последние несколько десятилетий, хотя многие конкретные опасения или философские нити, касательно этих проблем, разрабатывались в течение различных столетий. Этика окруж ...