 Due to his conception of logic, Bolzano was “in need” of propositions and ideas and therefore postulated that there are such genuinely logical objects. He himself, however, was convinced that he need not postulate them but can undoubtedly prove that there must be propositions and ideas.