问答题
简答题
组成公理化系统的一般程序？
【参考答案】
①选择只作公设的概念为基本概念，选择一类自明的陈述作为公理，它们是无须证明就被置入系统的；
②制定推理（推导）......
(↓↓↓ 点击下方‘点击查看答案’看完整答案 ↓↓↓)
点击查看答案
相关考题
-
问答题
穆勒五法指哪五种方法？ -
问答题
自然语言符号系统的特点？ -
问答题
简要回答科学问题的来源？
