translate English to German: He realized that the first step would have to be a clean formal language , and much of his subsequent work was directed towards that goal.
Dieses (spezielle) Entscheidungsproblem wurde 1928 von David Hilbert gestellt (siehe Hilbertprogramm ).