ABSTRACT
Mathematical logic has to a considerable extent suffered the same kind of misfortune. The most impressive features of mathematics are its certainty, its abstractness and precision, its broad range of applications, and its dry beauty. The more sensational reduction of mathematics to logic is the thesis that definitions of mathematical concepts can be found in logic such that mathematical theorems can be transformed unconditionally into theorems in logic. This is plausible only if 'logic' is understood in a very broad sense to include set theory as a part. The technical problem about methods of discovering solutions is not one for the philosophy of mathematics, although it is of pedagogic interest and central for the mechanical simulation of the mathematical activity. Algebraic manipulations and juggling with logical expressions are also included. Since set theory is itself a branch of mathematics, the question is that of reducing other branches of mathematics to this particular one.
