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

【参考答案】

①选择只作公设的概念为基本概念，选择一类自明的陈述作为公理，它们是无须证明就被置入系统的；
②制定推理（推导）......

(↓↓↓ 点击下方‘点击查看答案’看完整答案 ↓↓↓)