公理（Axiom）是数学和逻辑学中的一个基本概念。它是一种无需证明就被接受为真的命题或原理。在构建一个理论体系时，公理是这一体系的基础，是其他定理和结论推导的出发点。
具体来说，公理具有以下几个特点：
1.自明性：公理通常被认为是普遍公认的、无需证明的真理。
2.基础性：公理是构建整个理论体系的基础，其他定理和结论都是基于公理推导出来的。
3.独立性：在一个理论体系中，公理是相互独立的，不能从其他公理中推导出来。
在数学中，常见的公理包括欧几里得几何的公理、集合论中的公理等。例如，欧几里得几何中的第一条公理是“通过任意两点可以画一条直线”，这个公理被接受为无需证明的真理。
公理是数学和逻辑学中一个非常重要的概念，它为构建理论体系提供了基础。
