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

数学