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

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

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

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

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

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