Zum Inhalt:
The logical problem is an old problem. Leibniz developed a "mathesis universalis", which he estimated to be the Logic of sciences. His approach was rational calculable. Frege took Leibniz´s ideas and prepared a logic, which was composed by nitions.
In Frege´s Logic the calculation with numbers plays an essential role. Frege thought that the arithmetic, which was known in his time, is a basis for a logic.
Finally David Hilbert continued the work by Leibniz-Frege. He tried to prove the consistency of mathematics by his predicate calculus. Hilbert worked with finite, decidable, mathematical procedures, as the author does.
Between the first and second volume of Hilbert´s predicate calculus Kurt Gödel published his two incomplete propositions. He showed that the formalistic proofs by Hilbert cannot solve the consistency problem on principle; Gödel´s result caused the crisis of the foundations of mathematics, which has done away with the Intuitionistic Set Theory.
| 
