2007-06-07 オラクル教 オラクル教自体がオメガ矛盾かもよ。いつかできるというところが。あ〜、そういえば、書き直すんだった。 たぶん不完全性定理から入っているのがよくなくて、あと過度に抽象化しているのがよくなくて、たとえば「定理を見せながら水を凍らせる」といったことを書いたほうがいいわけだ。