试题详情
简答题组成公理化系统的一般程序?
  • ①选择只作公设的概念为基本概念,选择一类自明的陈述作为公理,它们是无须证明就被置入系统的;
    ②制定推理(推导)规则,用以指导本系统的所有演算;
    ③依据规则从原初概念推导出新的概念,从公理演绎出新的陈述;
    ④遵循同样的步骤,从导出的陈述和公理中进一步导出其他陈述。
  • 关注下方微信公众号,在线模考后查看

热门试题