1. 概述 公理 就是不证自明的道理, 例如采用 ZFC 集合论 的公理体系构建 公理化集合论 时就有许多被定义出来. 更多的例子可参阅 公理化. 2. 相关概念 公理系统 Peano 公理 3. 术语翻译 中文英文公理axiom 逻辑学