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

  • 关注下方微信公众号，在线模考后查看

热门试题