2009-06-25 真であること 証明できることと真であることは異なる、というのだが、個人的には真であることという概念がそもそもないかのように感じる。 ブルバキの洗礼を受けているからだろうか。 しかし、そんなこといったらモデルという概念がここに依存しているように感じられるからこれを捨てなくてはいけない? むう。