Обоснование представляет собой выведение доказываемого предложения из посылок, которыми являются фундаментальные истины. Любой другой способ доказательства Больцано называет удостоверением истины (21, 4, 261). Очевидно, что под обоснованием он имеет в виду аксиоматически-дедуктивный метод. Чешского философа можно считать одним из основателей современного учения об аксиоматическом методе.
Во времена Больцано образцом применения этого метода считали «Начала» Евклида. Еще в своих ранних математических работах Больцано указывает недостатки евклидовской аксиоматики.
Он даже написал произведение под характерным названием «Анти-Евклид» (оно было утеряно). Развивая идеи Декарта и Лейбница, чешский мыслитель рассматривает аксиоматический метод в качестве универсального научного метода. В этом его отличие прежде всего от Канта. Последний пытается строго отделить метод математики от метода философии, или метафизики. Метод философии является, по его мнению, аналитическим, математики — синтетическим. Отношения между математическими понятиями всегда наблюдаемы, в ней оперируют наглядными символами, в философии наблюдаемость невозможна. В основании необходимых суждений математики лежит априорное, или чистое, созерцание пространства и времени. Простейшая формула «7+5=12» является априорным синтетическим суждением, полученным на основе действия чистого созерцания времени. Больцано убежден в неправомерности такого разделения доказательств в философии и математике. «Незначительно еще число философов в наши дни, — пишет он, — чье математическое знание простиралось бы дальше положения, что А равно А. Еще меньше число математиков, готовых признать, что их собственная наука может быть поднята на более высокую ступень совершенства при помощи философии, и которые согласились бы, что их наука выиграла бы, если бы удалось многие встречающиеся в ней понятия, оставляемые без всякого объяснения, как общеизвестные, разложить на их составные части и множество положений, рассматриваемых либо без доказательства, либо как очевидные, вывести из их объективных оснований, т. е. из некоторых чистых понятийных истин, которые намного более общи, чем они» (цит. по: 82, 71). Стремление создать общенаучный логический метод, пригодный и для математики, и для других дисциплин, и явилось причиной написания «Наукоучения». Согласно Больцано, «метод математики по своей сущности ни в малейшей степени не отличается от любой научной процедуры… Обсуждение математического метода является в своей основе не чем иным, как логикой, и к самой математике не относится» (16, 30).
