哥德尔的发现意想不到的结果三

哥德尔的发现——意想不到的结果（三） 3、1930年哥德尔的两项主要贡献1、完全性定理：哥德尔的学位论文《逻辑函数演算的公理的完全性》解决了一阶谓词演算的完全性问题。罗素与怀德海建立了逻辑演