Abstract

Formalism used by Leśniewski to present mathematical theory is called a radical one. According to the author, it is the implementation of the postulates of the so-called formal arithmeticians. Mathematical theory is presented as a pure game of formulas devoid of content. It is governed by the precise rules described in the metalanguage. The author stresses the difference between Leśniewski’s and Hilbert’s mathematical approaches.