在全世界第一个提出判定命题真假方法；提出了命题论证公理系统并彻底解决莱布尼茨争论计算问题；证明了四色定理；证明了哥德尔不可证命题是悖论；证明了第四次数学危机；否定了相对论…