... Удалось ли на постулатах построить применимую теорию, потом проверяется на практике. И, как я понимаю, соотвествие теории и эксперимента и называют доказательством...
Проверить теорию эксперементом тоже довольно непросто. Например, формула Всемирного Тяготения Ньютона однозначно не соответствует эксперементу. И для доказательства этого даже не надо проводить эксперемент, т.к. это доказывается теоретически...
Или проведём такой эксперемент: Пойдём по прямой, проверяя невилиром горизонтальность пути. В итоге получится, что Земля плоская, но мы каким то образом вернулись в ту же точку. И тогда справедливы два утверждения: "Мы идём по прямой" и "мы идё по кривой".
Поэтому эксперементальные доказательства тоже принадлежат области логического формализма.
В словаре же доказательством называется бесспорное утверждение. Сомнительно, что может существовать утверждение, которое невозможно оспорить, имея набор формальных логик...