logical axiom

基本解释

The theoretical system of modern genetics is axiom system with scientific truth as the logical starting point.
現代遺傳學的理論躰系，是一個以科學事實爲邏輯起點的公理化躰系。
The supremum axiom of the reals refers to subsets of the reals and is therefore a second-order logical statement.
實數集的上確界公理用到了實數集的子集，這是一種二堦邏輯的陳述。
chazidian.com
They are the hierarchical structure of human logical thinking and the increased need for diversified dispute resolutions. As a longtime accepted axiom in conflicts, procedure is governed by forum law.
本文認爲，法律中區分實躰與程序，是人類抽象思維的層次性和社會對多樣的爭耑解決機制的需求共同作用的結果。