实质公理系统
Substantial axiom system
以上为机器翻译结果，长、整句建议使用 人工翻译 。
一个公理体系中的名词是预先已经定义的概念，这样的公理系统就是实质公理系统。如欧几里德几何公理系统。因为要先定义概念，所以就要有一些原始的概念作为定义其他概念的出发点，如欧氏几何中使用的“部分”、“长度”、“宽度”、“界限”以及“同样的位置”等。
详细内容
应用推荐
模块上移
模块下移
不移动