哪位大侠知道苏黎世公理是什么意思啊？多谢多谢！！

1917年希尔伯特在苏黎世发表一篇演说，题目是“公理思想”。这篇文章全面叙述了一些与认识论有关的问题，如数论和集合论的无矛盾性，每个数学问题的原则上可解性，找出数学说明的单纯性，的标准数学中内容与形式表示的关系，数学问题通过有限步骤的可判定性问题。这些问题预示着后来数理逻辑的发展。他认为，要想深入研究就必须对数学证明的概念进行深入的研究。既然逻辑推理可以符号化，进行数学的研究，为什么证明不行呢？他提出了证明论的一般思想和目标，但是没有具体化。