组成公理化系统的一般程序？
正确答案:
①选择只作公设的概念为基本概念，选择一类自明的陈述作为公理，它们是无须证明就被置入系统的；
②制定推理（推导）规则，用以指导本系统的所有演算；
③依据规则从原初概念推导出新的概念，从公理演绎出新的陈述；
④遵循同样的步骤，从导出的陈述和公理中进一步导出其他陈述。
②制定推理（推导）规则，用以指导本系统的所有演算；
③依据规则从原初概念推导出新的概念，从公理演绎出新的陈述；
④遵循同样的步骤，从导出的陈述和公理中进一步导出其他陈述。
答案解析:有
微信扫一扫手机做题