Abstrakt
Pojem pravdy o sobě byl pro Bolzana klíčový, byl vstupné branou do jeho 'Vědosloví'. Bolzano měl obvykle své pojmy přesně vybudované a jasně zdůvodněné, jeho pojem 'pravdy o sobě' anebo, jak též říkal 'objektivní pravdy', patří k nejobtížněji uchopitelným.
Bolzanův cíl byl dokázat jejich existenci na podkladě nezávislé logické definice. Odvolává se sice na scholastickou tradici, ale přesto Boha jako ručitele k důkazu jejich existence nepotřeboval.
Stejný zvláštní status existence jako pravdy o sobě mají pro Bolzana množiny. Svou matematickou teorii nekonečna Bolzano staví na důkazu existence nekonečné množiny pravd o sobě