logical axiom

基本解釋

The theoretical system of modern genetics is axiom system with scientific truth as the logical starting point.
現(xiàn)代遺傳學(xué)的理論體系，是一個以科學(xué)事實為邏輯起點的公理化體系。
The supremum axiom of the reals refers to subsets of the reals and is therefore a second-order logical statement.
實數(shù)集的上確界公理用到了實數(shù)集的子集，這是一種二階邏輯的陳述。
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.
本文認(rèn)為，法律中區(qū)分實體與程序，是人類抽象思維的層次性和社會對多樣的爭端解決機(jī)制的需求共同作用的結(jié)果。