不完全性定理に関するアンドレ・ヴェイユの言葉

　フランスの数学者アンドレ・ヴェイユ――ゲーデルと同様、餓死を選んだ特異な思想家シモーヌ・ヴェイユの実兄――が、不完全性定理に関連して、こう述べたと伝えられています。
「神は存在する。なぜなら、算術は無矛盾であるからだ。
　悪魔は存在する。なぜなら、われわれは算術の無矛盾性を証明できないから」。

【『ゲーデル・不完全性定理　“理性の限界”の発見』吉永良正（講談社ブルーバックス、1992年）】

• ゲーデル
• 吉永良正