The First Incompleteness Theorem 章节 发表日期： 2025年 查看全文 Lorenz Halbeisen, Regula Krapf 摘要 In this section, we state some properties of the provability predicate that we introduced in Chapter 9.
