1·SO, in every statement, the condition or conclusion of the axiomatic semantics of expression has the "REASON".
因此，在每个语句，表达式的公理中的条件部分和结论部分都含有REASON。
2·In this paper, we prove that there is an inconsistency in any infinite set of the classical set theory or the modern axiomatic set theory.
文中证明古典集合论与近代公理集合论中的任何一个无穷集合都是自相矛盾的非集。
3·It has been proved that the nature of independence exists in the axiomatic system of Group, Euclidean space, distance space and topological space.
本文证明了：群、欧几里得空间、距离空间和拓扑空间的公理系统的独立性。
4·A kind of integrated model based on theory of axiomatic design and solving theory of invention problems has been put forward.
提出了一种基于公理设计理论与发明问题解决理论的集成模型。
5·The paper presents a final solution for the independence of the axiomatic system of the vector space, and so is of some basic significance in theory.
本文最后解决了向量空间公理系统独立性的问题，这在理论上有一定意义。