Б.больцано как предшественник конструктивизма.

Abstract

The article provides foundation for the thesis of Bolzano being one of the first in the history of logic and mathemathics who asserted the necessity of using only direct proofs in scientific texts. The autor is going to dewelope the foundation of the Bolzano's priority as the founder of constructivism in logic.