«Совершенно ясное и строгое понимание дедуктивных схем пришло лишь в начале XX столетия. В основном это заслуга великого немецкого математика Гильберта. В несколько огрублённой и упрощённой форме дело обстоит примерно так...

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