哥德尔宣布公理体系不完整的中心主题是什么？
在冯诺依曼的贡献下，集合理论的公理体系变得完全令人满意，下一个问题是它是否也是决定性的，并且不需要改进。一个强有力的否定的答案出现在1930年9月的历史性的数学大会上，Kurt G奥德尔宣布了他的第一个不完备性定理：通常公理系统是不完整的，因为他们不能证明在他们的语言中能表达的每一个真理。这一结果具有足够的创新性，使当时的大多数数学家感到困惑。
他们不能证明在他们的语言中能表达的每一个真理