Axiom
/ˈæksiəm/
公理
原始画面
古希腊几何学家在地上画出一条直线，宣称“两点之间直线最短”，众人皆点头认同——这种无需证明、直观为真的陈述就是公理。
核心意象
自明 + 无需证明 = 公理
深度解析
Axiom（公理）源自希腊语 axios（值得）与 -ma（结果），原意是“值得接受的东西”。在逻辑体系中，它是指不证自明、作为推理起点的命题。公理无法在体系内被证明，因为所有证明都依赖它——它是知识大厦的地基。
在数学、逻辑学与科学中，公理的选择决定了理论的结构。例如欧几里得几何的平行公理被替换后诞生了非欧几何；集合论中不同的选择公理导致不同分支。公理并非绝对真理，而是体系内的约定，其价值在于自洽与有用。
日常语言中，axiom 引申为“不言而喻的道理”，比如“物竞天择”在进化论中被视为公理。但要注意，日常公理往往带有文化偏见，而数学公理则要求严格的形式化。两者的共通点是：它们都作为思维起点被接受。