有了冯·诺伊曼的这一贡献, 套套理论的公理系统变得完全令人满意, 下一个问题是它是否也是决定性的, 而不会受到改进. 1930年九月在历史性的数学柯 尼 斯 堡 大会上有一个强烈的负面答案, 库尔特·哥德尔宣布他的第一个不完整定理: 通常的公理系统是不完整的, 因为他们不能证明每一个用他们的语言表达. 这一结果是足够的创新, 以混淆当时大多数数学家.
德在1930年关于公理系统的声明在哪里?
柯 尼 斯 堡 大会