2014-11-01 1101 ついに11月になってしまいました。なんてこった。 最近あんまりご飯を食べてなかったせいか今日は体調を崩しました。最近、空腹でも食べたいものが思い浮かばないのです。ω矛盾って感じ。ちょっと違うかな。ちなみにω矛盾であるというのは 「Q(0), Q(1), Q(2), …が全て証明可能であるが、「∃n: ¬Q(n) 」も証明可能である。」 状況のことです。(GoogleIMEがω無矛盾を変換できたのでちょっとびっくりしている) なんか色々書きたい気もするのですが面倒くさいのでやめます。