更改

这个问题成为了哥德尔博士论文的主题。1929年，23岁的他在Hans Hahn 的指导下完成了他的博士论文。在其中，他建立了关于一阶谓词演算的同名完备性定理。他在1930年获得博士学位，他的论文（附带一些额外的工作）由维也纳科学院出版。

这个问题成为了哥德尔博士论文的主题。1929年，23岁的他在Hans Hahn 的指导下完成了他的博士论文。在其中，他建立了关于一阶谓词演算的同名完备性定理。他在1930年获得博士学位，他的论文（附带一些额外的工作）由维也纳科学院出版。

 

<br>

1930年，哥德尔参加了9月5日至7日在柯尼斯堡举行的第二届精确科学认识论会议。在这里，他发表了他的<font color="#ff8000"> 不完备性定理</font>。<ref name="Stadler">{{cite book |last1=Stadler |first1=Friedrich |title=The Vienna Circle: Studies in the Origins, Development, and Influence of Logical Empiricism |date=2015 |publisher=Springer |isbn=9783319165615 |url=https://books.google.com/books?id=2rAlCQAAQBAJ&q=Erkenntnis+1930+Konigsberg&pg=PA161 |language=en}}</ref>在那篇文章中，他证明了任何强大到足以描述自然数算术的可计算公理系统(例如，Peano 公理或 Zermelo-Fraenkel 集合论与选择公理) :

 

 

 

 

==职业生涯==

==职业生涯==