評論(0

實質公理系統

標籤: 暫無標籤

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

1 實質公理系統 -介紹

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

 

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

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

上一篇[左谷蠡王]  

相關評論

同義詞:暫無同義詞