20/05/16 23:33:42 VN/D3za9.net
2012年版(多分)ならRIMSのプレプリントサイトにあるから、そこで確認できる
URLリンク(www.kurims.kyoto-u.ac.jp)
>>924の文章はこのPDFに書いてあることが確認できる
URLリンク(www.kurims.kyoto-u.ac.jp)
一方で、望月の個人HP上にある「最新版」には、例えば"extensionality"という単語は含まれていない
URLリンク(www.kurims.kyoto-u.ac.jp)