The merits of a system of natural deduction are not only determined by its value as a logical system in itself. Since it formalizes deductions in a manner close to intuitive reasoning, natural deduction can also be used as a (logical) framework for mathematical argumentation. One may say that many mathematical texts are tacitly based on a form of natural deduction, as regards the logical part of the deductive patterns.