最終更新日:2022/12/23
In fact, they are intertwined with his dauntingly complex and far-reaching ideas about predicativity, the semantic paradoxes, and the ramified vs. the simple theory of types—all of which are fascinating, and some of which involve real technical achievements.
編集履歴(0)