1979, pp. 228 - 232.) Bolzano also proves the existence of *the infinite multitude of truths in themselves*.[^11] He proceeds from a proposition which can be proved by contradiction: “There are truths.” Bolzano asserts that if we have any true proposition $A$, then the proposition “A is true” is also true and it is different. We can construct infinitely many truths by this way, in fact by induction. Bolzano finally uses the theological argument

> Thus we must attribute to Him \[God\] a power of knowledge that is true omniscience, that therefore comprehends an infinite multitude of truths. (§11.)

Nevertheless, Bolzano tries to get by without a theological argument. It could be made possible by the special mode of the existence of truths and propositions in themselves. (Šebestík 1992, pp. 446-447).

Bolzano then refers to the similarity of the multitude of these propositions and the multitude of natural numbers and infers that this multitude too must be infinite. He notes that there is no last number among natural numbers, nor can there be, as the very notion conceals a contradiction. (§15). Similarly, a multitude of all fractions (of rational numbers) and irrational numbers is also infinite. The multitude of all 