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

Воспользуемся БСЭ. Аксиоматический метод сегодня является главным методом построения научной теории, при котором в её основу кладутся некоторые исходные положения (суждения) - аксиомы, или постулаты, и из которых все остальные утверждения этой науки (теоремы) выводятся чисто логическим путём, посредством доказательств. Такой метод называется дедуктивным. Все понятия дедуктивной теории (кроме фиксированного числа первоначальных) вводятся посредством определений, выражающих (или разъясняющих) их через ранее введённые понятия...