Dowód matematyczny z punktu widzenia formalizmu matematycznego. Część I

This article is the first one to examine the evolution of the notion of mathematical proof in a historical perspective. First I present the intuitive, approach of Descartes, according to which mathematical proof is based on self-evident principles. I follow with an analysis of Berkeley’s mathematical instrumentalism and argue that he can be considered a predecessor of modern formalism. The article also deals with the ideas of Peacock and Pasch, and their role in the development of the modern formalistic viewpoint.