以下は単なるメモです。 Aczel explicitly says that the horizontal “is responsible for Russell's paradox” (1989[sic] [“The Structure of the Formal Language of Frege's Grundgesetze”], 17) and “gives an internal definition of the collection of…

本日も昨日と同じ学会に行ってくる。 そしてやはり昨日と同じく午前中の session のみでお暇させていただく。 本日のお話のうち、特に S 先生のお話の technical な部分に興味を持ちました。 また勉強させていただきます。 誠にありがとうございました。