2010-06-25 ざんげというか 集合論 本当はモデルって何とかそういうことを書かないといけないんですが、そういう面倒なことをきちんとやろうとしていると永遠に書かないまま終わりそうなのでとりあえず。それと、例によって例のごとくいろいろ間違えているかもしれないのでツッコミ歓迎。