We present an abstract framework in which we give simple proofs for Gödel’s First and Second Incompleteness Theorems and obtain, as consequences, Davis’, Chaitin’s and Kritchman-Raz’s Theorems.

中文翻译：

---

不完整和暂停问题

我们提供一个抽象的框架，在该框架中，我们可以简单地证明Gödel的第一和第二不完全性定理，并获得戴维斯定理，柴廷定理和克里奇曼-拉兹定理作为结果。