Alexander Pruss has given a quick argument against the claim that consistency is possibility using Gödel’s second incompleteness theorem. The argument does not distinguish metalanguage claims of consistency from object-language ones, rendering it unsound.

中文翻译：

---

一致性、可能性和哥德尔：对普鲁斯的回应

亚历山大·普鲁斯 (Alexander Pruss) 使用哥德尔的第二不完备性定理快速反驳了一致性是可能的说法。该论点没有将元语言的一致性声明与对象语言的声明区分开来，从而使其不健全。