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.
Han ansåg att steg i den riktningen måste vara att konstruera ett mer formellt språk och mycket av hans följande arbete inriktades mot detta mål.