问答题

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

【参考答案】

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

<上一题目录下一题>

热门试题

问答题爱因斯坦如何看待资本主义经济危机的原因和应有的解决办法？

问答题市场经济运行中暴露出哪些难以克服的问题和矛盾？

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