组成公理化系统的一般程序？

正确答案： ①选择只作公设的概念为基本概念，选择一类自明的陈述作为公理，它们是无须证明就被置入系统的；
②制定推理（推导）规则，用以指导本系统的所有演算；
③依据规则从原初概念推导出新的概念，从公理演绎出新的陈述；
④遵循同样的步骤，从导出的陈述和公理中进一步导出其他陈述。
答案解析：
关注下方微信公众号，在线模考后查看

热门试题