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.
本文认为，法律中区分实体与程序，是人类抽象思维的层次性和社会对多样的争端解决机制的需求共同作用的结果。