本文解答了BCI -代数公理系的独立性问题，同时给出了BCI -代数的另一公理系统。
The article has solved the problem concerning the independence of axiom system of BCI-algebra.
本文证明了：群、欧几里得空间、距离空间和拓扑空间的公理系统的独立性。
It has been proved that the nature of independence exists in the axiomatic system of Group, Euclidean space, distance space and topological space.
本文最后解决了向量空间公理系统独立性的问题，这在理论上有一定意义。
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.
本文最后解决了向量空间公理系统独立性的问题，这在理论上有一定意义。
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.
应用推荐