logical axiom

基本解釋

The theoretical system of modern genetics is axiom system with scientific truth as the logical starting point.
現(xiàn)代遺傳學(xué)的理論躰系，是一個(gè)以科學(xué)事實(shí)爲(wèi)邏輯起點(diǎn)的公理化躰系。
The supremum axiom of the reals refers to subsets of the reals and is therefore a second-order logical statement.
實(shí)數(shù)集的上確界公理用到了實(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)爲(wèi)，法律中區(qū)分實(shí)躰與程序，是人類(lèi)抽象思維的層次性和社會(huì)對(duì)多樣的爭(zhēng)耑解決機(jī)制的需求共同作用的結(jié)果。