「俺は集合論者なんだ。一行に収まらない式なんか書かせないでくれ！」

「なんか最近inductive hypothesisを書くのに研究時間のほとんどを費やしているような気がする…」10個くらいの条件のすりあわせでぎりぎりinductionを回してばかりなのでお疲れのご様子です。まあお仕事ですから頑張ってください。

「この俺がパラリンデレフなんて言葉を口にするなんて！」だそうです。(補足)一般位相幾何学(general topology)をやりつつも、あの定義の多さには閉口しているらしく、出来れば使う定義は限定したいとのこと。にもかかわらず、paralindelöfを使うのが最適な…