«Совершенно ясное и строгое понимание дедуктивных схем пришло лишь в начале XX столетия. В основном это заслуга великого немецкого математика Гильберта. В несколько огрублённой и упрощённой форме дело обстоит примерно так...
Аксиомы планиметрии являются основными постулатами, на которых строится геометрия плоскости. Вот список классических аксиом планиметрии:
Аксиома 1
Какова бы ни была прямая, существуют точки, принадлежащие этой прямой и точки не принадлежащие ей. Через любые две точки можно провести прямую и только одну.
Аксиома 2
Из трех точек на прямой одна о только одна лежит между двумя другими.
Аксиома 3
Каждый отрезок имеет определенную длину, большую нуля. Длина отрезка равна сумме длин частей, на которые он разбивается любой его точкой...