公理化的本质不是"证明"而是"选择"

我们通常认为欧几里得的贡献是"证明"了定理。但他更深层的贡献是"选择"了公设——而选择本身就是创造。第五公设的两千年争论揭示：公理化体系的力量不来自公设的"正确性"，而来自"选了一组自洽的公设"这件事本身。选择哪组公设，决定了你生活在哪个数学世界里。