實質公理系統

標籤: 暫無標籤

5

更新時間: 2013-08-24

廣告

實質公理系統,是指在一個公理體系中的名詞是預先已經定義的公理系統。

廣告

1 實質公理系統 -介紹

一個公理體系中的名詞是預先已經定義的概念,這樣的公理系統就是實質公理系統。

 

2 實質公理系統 -相關信息

如歐幾里德幾何公理系統。因為要先定義概念,所以就要有一些原始的概念作為定義其他概念的出發點,如歐氏幾何中使用的「部分」、「長度」、「寬度」、「界限」以及「同樣的位置」等。

廣告