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

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

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

Методика преподавания математики в начальной школе
Методика преподавания математики (МПМ) – наука, предметом которой является обучение математике, причём в широком смысле: обучение математике на всех уровнях, начиная с дошкольных учреждений и кончая высшей школой. МПМ развивается на базе определённой психологической теории обучения, т.е. МПМ предст ...

Колебания скрипичной струны
Теория колебания струны, возбуждаемой действием смычка, довольно сложна, однако основные моменты этой теории были выяснены Гельмгольцем. Поскольку высота тона оказывается соответствующей собственной частоте струны, колебания могут, в известном смысле, считать «свободными», функция смычка заключаетс ...

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