それにしてもゲーデルさん - くるるの数学ノートでゲーデルについて「彼にはいったい何が見えていたんでしょうか？」と書いたのはid:finalventさんのまねっこなんですが。ずいぶん昔ですし面倒なのでソースを探すのはやめておきます。(通りすがりさんが見つ…