看看欧几里得几何，整个体系的演化基础就是那五条公里。相容、完备的最小集采值得追求