实质公理系统_公理体系中的名词

实质公理系统

公理体系中的名词

一个公理体系中的名词是预先已经定义的概念，这样的公理系统就是实质公理系统。如欧几里德几何公理系统。因为要先定义概念，所以就要有一些原始的概念作为定义其他概念的出发点，如欧氏几何中使用的“部分”、“长度”、“宽度”、“界限”以及“同样的位置”等。