定理徹底粉碎了希爾伯特的形式主義理想。為理解這個定理及其意義，需要相當的數理邏輯和集合論知識。要把這些預備知識都在這裡整理出來，工作太繁重了，這也...。 哥德爾定理是一階邏輯的定理，在形式邏輯中，數學命題及其證明都是用一種...
