§ 介绍
一个公理体系中的名词是预先已经定义的概念，这样的公理系统就是实质公理系统。
§ 相关信息
如欧几里德几何公理系统。因为要先定义概念，所以就要有一些原始的概念作为定义其他概念的出发点，如欧氏几何中使用的“部分”、“长度”、“宽度”、“界限”以及“同样的位置”等。
百科全书收录594082条中文百科知识，基本涵盖了大多数领域的百科知识，是一部内容开放、自由的电子版百科全书。