简答题 简述形式化的公理系统的三个基本原则。

【参考答案】

形式化的公理系统具有三个基本原则：一是完备性，指体系中所有的定理都可以在这一公里系统中得到证明；二是无矛盾性，指在同一系统中不允许得出两个矛盾的命题；三是独立性，指系统中的公理没有一个是可以省略的。