2023年12月4日
哥德尔不完全性定理
摘要： \(\newcommand{\P}{\mathbb{P}}\newcommand{\A}{\mathfrak{A}}\)在关于完备性的讨论中，我们最终得到了只要有\(\Phi \vdash \varphi\)成立，那么它当且仅当\(\Phi \models \varphi\)。也就是说，在一阶逻辑上 阅读全文
posted @ 2023-12-04 16:45 DennyQi 阅读(189) 评论(1) 推荐(0) 编辑