1. Oppenheimer
(ゲーデルの)仕事は数学的議論の論理的構造をはかりしれぬほど深め、また豊かにしたのみならず、人間の理性一般における限界というものの役割を明らかにした。
2. von Neumann
ゲーデルはつぎのことを証明した最初の人である。：現在までに承認された数学の厳密な方法では証明することも、否定することもできないものがある。換言すれば、彼は決定不能な数学的命題の存在を証明したのである。彼はさらに重要な特別な命題が決定不能であることを証明した：すなわち数学がその内部に矛盾を含まないという命題がそうなのである。この結果は”自己否定的”逆理的な性格においていちじるしい。すなわち数学が矛盾を含まないということを確認することは数学的には不可能なのである。重要なことは、このことは哲学的原理や疑わしい知的方針ではなくて、極度に学問的な厳密な数学的証明の結果である。私がここに述べた表現は粗っぽい表現であり、厳密に表現したときのみごとな性質を抹殺してしまうものであるが、しかし、記号論理学のむつかしい技術的な表現を避けて定理をのべようと思えば、これができうる最善に近いかと思うのである。
