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

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

Другое о образовании:

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

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

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