哥德尔不完备定理是他在1931年提出来的