Это была мечта Рудольфа Карнапа за последние три десятилетия его жизни, чтобы показать, что наука продолжается формальным синтаксическим методом; Сегодня никто, насколько мне известно, не обладает надеждой на этот проект.