@kururu_goedel: @CharStream 確かにそうですね。このパッと見で凄そうに見えるかどうかという点で、不完全性定理は群を抜いているのだろうと思います。本当は完全性定理に直感が効かないと不完全性定理はよく理解できないだろうと思うのですが。2012-07-22 …