不完全性定理,不完全性定理,buwanquanxing dingli,不完全性,定理,dingli,buwanquanxing,[拼音]:buwanquanxing dingli[外文]:incompleteness theorem证明论中的一条重要定理。由K.哥德尔于1931年证明,是数理逻辑发展史上的一个极为重要的定理。设有一个以皮亚...