试题详情
简答题简述形式化的公理系统的三个基本原则。
  • 形式化的公理系统具有三个基本原则:一是完备性,指体系中所有的定理都可以在这一公里系统中得到证明;二是无矛盾性,指在同一系统中不允许得出两个矛盾的命题;三是独立性,指系统中的公理没有一个是可以省略的。
  • 关注下方微信公众号,在线模考后查看

热门试题