老师上课讲过哥德尔不完备定理。