くるるの数学ノート - ゲーデルの不完全性定理について少し補足

 日常の「論理」は、普通にゲーデルナンバリングぐらいできるだろって思ってたんだけど。「無矛盾な日常言語」ってのもワケわかんないから、そうでもないのかな？コメント欄の進展を待つ。