2007-03-21 半分ぐらい読んだ 日記 不完全性定理とか無矛盾とか、まだよくわかっていないけど、なんとなくイメージがつかめたかも。ある空間の中に、外側の空間のものを同じものとして置き換えてもってくるかんじ。なんとなくMonadくさい。圏論もちょっとのぞきたくなってきたなぁ。