Достижение Курта Годеля в современной логике является единственным и монументальным - на самом деле это больше, чем памятник, это ориентир, который останется видимым в пространстве и времени. ... Предмет логики, безусловно, полностью изменил свою природу и возможности с достижением Годеля.