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