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

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