Gödel's incompleteness theorems
库尔特·弗雷德里希·哥德尔（，），出生於奧匈帝國的數學家、邏輯學家和哲學家，维也纳学派（维也纳小组）的成员。哥德尔是二十世纪最伟大的逻辑学家之一，其最杰出的贡献是哥德尔不完备定理和连续统假设的相对协调性证明。