Положение о том, что не существует ни одной истины, основывается на молчаливом предположении наличия только одной истины — истины этого отрицательного суждения. Но если имеется одна истина, то можно показать, что имеется и вторая. Когда мы обозначим истину «Не существует ни одной истины» как «
После доказательства того, что имеется n истин, мы можем доказать, что их существует бесконечное множество. Утверждение конечного их числа приводит к противоречию, сходному с противоречием, которое возникает вследствие утверждения, что не имеется ни одной истины, ибо всегда можно показать, что имеется n+1 истин, каким бы значительным числом ни было n (см. 21,
Этот способ доказательства Больцано применяет и далее, отстаивая возможность познания истин. Философ использует аргумент, подобный аргументу Декарта, на которого он и ссылается. Скептик, сомневаясь в существовании истин, должен согласиться с тем, что он имеет представление об этом сомнении. Декарт говорил, что можно усомниться во всем, кроме того, что имеется сомнение — мысль, выражающая его. Но безусловное существование представления о сомнении не может быть подвергнуто в свою очередь сомнению. А раз имеется единственная истина, утверждающая наличие представления, то уже нетрудно доказать существование бесконечного количества истин. В «Парадоксах бесконечного» Больцано дает несколько иное доказательство того, что имеется бесконечное множество истин. Если мы возьмем в качестве первоначальной истины любое предложение, например «Существуют истины», выразим его через
Применение математики в философии у Больцано не носит того искусственного характера, который был присущ системе Спинозы, но и оно имеет свои недостатки. Онтологические проблемы часто переводятся в математические, а ряд математических вопросов, требующих лишь ее собственных методов, обсуждаются при помощи философских спекуляций. Все же стремление Больцано к широким обобщениям в математике и к строгости, точности философского рассуждения принесло значительно больше пользы, чем вреда.
Как указал советский логик Н. И. Стяжкин, при доказательстве существования бесконечного числа истин Больцано фактически использует аргументацию, примененную Платоном («Парменид») при выведении натурального ряда чисел. Допуская наличие единицы, мы полагаем и наличие существования единицы, которое отлично от самой единицы, как понятие от своего объекта. «Единица» и «существование» являются уже «двумя» предметами. Так выводится число «два». Подобным же образом выводятся «три», «четыре» и другие числа натурального ряда (см. 29, 146. 30, 287).