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

При дедуктивном построении геометрии, как и любой другой науки, следует исходить не только из основных неопределяемых понятий, но также из некоторых немногих и простых утверждений, т. е. недоказуемых предложений, называемых иногда постулатами (требованиями), чаще же аксиомами (аксиома — греческое слово, означающее «бесспорное положение», а также «почитаемое»), с тем, чтобы, основываясь на них, можно было строго логически обосновать, т. е. доказать все другие предложения, называемые уже теоремами...