问答题

【参考答案】

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

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