ABSTRACT
With this in mind, Hilbert supplemented the axioms of logic by purely mathematical axioms and regarded both types of axioms as simple juxtapositions of signs. His only concern was to show that the theorem : i = o is not one of the theorems which can be obtained from these axioms by applying purely formal rules of procedure.
