哥德尔不完备定理
His "Remarks on the Foundations of Mathematics" contains his compiled views, notably a controversial repudiation of Gödel's incompleteness theorems.