找考题网-背景图
问答题

简答题 组成公理化系统的一般程序?

【参考答案】

①选择只作公设的概念为基本概念,选择一类自明的陈述作为公理,它们是无须证明就被置入系统的;
②制定推理(推导)规则,用以指导本系统的所有演算;
③依据规则从原初概念推导出新的概念,从公理演绎出新的陈述;
④遵循同样的步骤,从导出的陈述和公理中进一步导出其他陈述。