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

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

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

Системы дистанционного обучения
Что следует понимать под дистанционным обучением Сопоставляя данные статей, можно заключить, что дистанционное обучение — это новая, специфичная форма обучения, несколько отличная от привычных форм очного или заочного обучения. Она предполагает иные средства, методы, организационные формы обучения, ...

Развитие системы начального общего образования в Германии
Акт о начальном образовании Германского рейха от 1920 года, основанный на статье 146 Конституции Веймарской республики, учредил начальную школу как образовательный институт для всех детей в Германии. До 1920 года наряду с начальной школой существовали отдельные образовательные институты для подгото ...

Анализ учебников по математики для 5-6 классов
Учебник под ред. Н.Я.Виленкина и др.наиболее распространен в общеобразовательных школах. В основном все задания подобраны для выработки основных навыков, то есть они являются стандартными. Что касается устных упражнений, то они являются достаточно скучными и не вызывают интереса у учащихся, так как ...