CEVAP:

Leibniz gibi Bolzano’da mantık ile matematiği birlikte ele almıştır. Bolzano ondan sonra gelen pek çok mantıkçı gibi mantık çalışmalarına matematikteki uslamlamanın belirli kurallara göre yürütülmesi amacıyla yönelmiştir. Bolzano’ya göre matematik kuramları (ve diğer bilimlerdeki kuramlar) belit sistemleri biçiminde ortaya konmalı, önermelerin kanıtlanması sonunda belitlere dayandırılmalıdır. Bu konuda Bolzano’nun getirdiği en önemli yenilik belitlerin (sistemin başlangıç önermelerinin) belirlenmesinde apaçıklık gibi ölçütler koymamasıdır. Dolayısıyla, Bolzano’nun bilimdeki kanıtlamalarda (yani, tanıtlamalarda) öncüllere ilişkin belirli biçimsel-olmayan koşullar ileri süren Aristoteles’ten önemli ölçüde ayrıldığını söylemek mümkündür. Bolzano’nun matematikteki kanıtlamalarla ilgili belirlediği kurallar da biçimseldir.