Saturday, August 14, 2010

бытие непредикативно

„To be is to be the value of a bound variable.“ упоминается по ссылке в самом конце Восток и запад: предпочитает ли бог инициальные алгебры?

No comments: