第五章 元定理

2023级的离散数学一中并没有考察元定理的应用，考察的是对于概念的理解和辨别。

5.1 概述

5.2 可靠性、完全性、一致性和独立性

5.2.1 可靠性

5.2.2 完全性

5.2.3 一致性

一致性中对于协调性的解释即可以用于公理系统而言，对于普通的公式集合也适用。

5.2.4 独立性

5.3 可判定性

5.4 哥德尔编码

习题 5