id:wd0さん曰く、 不完全性定理の「不完全」には欠陥や欠点のニュアンスはない不完全性定理は、英語では incompleteness theorem 、仏語では théorème d'incomplétude 、独語では Unvollständigkeitssatz といいます。いずれも、数学での慣習にしたがって直…

先日の記事で「私は、不完全性定理は数学という体系の（ある意味での）限界を示した結果だと受け取っていました。」と書いたところ、id:wd0さんからコメントで「不完全性定理が体系の強さを比較する便利なツールとして使われていることを見ると、不完全性定…