哥德尔不完备定理

公理 Axioms

一直以来数学家们试图构建一套完整自洽的公理系统。

抽象化的形式系统包括3个部分

1.语言

2.公理

3.推理规则

并包含以下性质

• Consistent 自洽，不自相矛盾
• Completeness 完备，true/false