本務先のページにいずれ書き加えたいこと（おまけ編）

本務先の研究室サーバに置いている「書評」のページの「おまけ」の部分に書き加えたいけど、必要な調査ができていないために、まだ、書けないでいることがある。「よくある間違い」のベージに「体系に数学的帰納法が入っていることが不完全性定理の本質である」を入れたいのだが、「よくある」かどうかが確認できていない。

この間違いが流布している現場を確認できていない。だれがこの間違いを言ったかは教えてもらったのだが、出典を聞くのを忘れていた。探しているが、まだ、みつけていない。

流布の現場が確認できたら、間違いであることの解説を書くのは簡単だ。「RobinsonのQ」の一言で終わる。id:ytb:20081209:p1 で教えていただいた "Weak theories and essential incompleteness" (Vitezslav Svejdar) の紹介も解説に加えると、もっと良いかも。