It has been proved that the nature of independence exists in the axiomatic system of Group, Euclidean space, distance space and topological space.

本文证明了：群、欧几里得空间、距离空间和拓扑空间的公理系统的独立性。