问答题
简答题
组成公理化系统的一般程序?
【参考答案】
①选择只作公设的概念为基本概念,选择一类自明的陈述作为公理,它们是无须证明就被置入系统的;
②制定推理(推导)......
(↓↓↓ 点击下方‘点击查看答案’看完整答案 ↓↓↓)
点击查看答案
相关考题
