先日のエントリにTBを頂きました。 モデルの持つ複雑性 こういうのを見ると，数学やTheoretical Computer Scienceというのはつくづく異端だなあと思ってしまう．言ってみれば，公理系でモデルを定義したとき，それにどのような性質があるかを延々とやってい…