（简答题）

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

正确答案

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

答案解析

略

相似试题

（简答题）
组成公理化系统的一般程序？
答案解析
（多选题）
公理化系统必须同时满足：（）
答案解析
（单选题）
以下哪项没有尝试用公理化系统的模型来建立哲学体系。（）
答案解析
（名词解析）
公理系统
答案解析
（简答题）
创造性思维演进的一般程序（看法）？
答案解析
（多选题）
默写式头脑风暴法的一般程序是（）。
答案解析
（简答题）
简述技术创造活动的一般程序。
答案解析
（简答题）
简述科学认识的一般程序。
答案解析
（简答题）
简述技术创造活动的一般程序
答案解析

快考试在线搜题