Bernard Bolzano

Bernard Bolzano (1781–1848) was a mathematician, philosopher, and theologian who advanced ideas in both Mathematical Infinity and Metaphysical Infinity during his lifetime. In his 1851 text Paradoxes of the Infinite he made some of the first Western inroads to Set Theory and proved the existence of infinite Sets through the use of induction.