ゲーデルの不完全性定理に関して宿題を二ヵ月後に

id:yoriyukiさんの不完全性定理の話 - くるるの数学ノート

なんて予告をしてから二ヶ月たってます。正直何を書こうとしたのか完全には思い出せませんが、適当に書いてみます。

と思ったのですが、書いてみたら私以外の誰にもわからない文章になってしまったので消しました。要するに無限にある論理記号をいっぺんに扱うことは不可能だっていう話なんですが。ここは自分の研究でもよく出てくる点なのでなんとか書きたいんですが、今日のところは挫折しておきます。