2007-11-11 終了後 昼のビアホールへ。今度こそ心おきなくビールを飲む。それからいろいろお話を伺う。特に直観主義に対するゲーデルの立場と、直観主義へのクライゼルの影響について。立川と武蔵境をまわり、25時に帰宅。