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.
El și-a dat seama că primul pas ar trebui să fie un limbaj formal curat, și o mare parte din lucrările sale ulterioare s-au îndreptat în direcția acestui obiectiv.