公理有哪些

公理是数学和逻辑学中的基本假设，用于构建理论体系，它们通常是无需证明的前提条件，为其他定理和命题提供了基础，公理有三大类：基本公理、定义公理和引理，基本公理包括五条，分别是：1. 元素存在；2. 不同元素较早；3. 元素可分；4. 结合律；5. 交换律，这些公理为数学结构提供了基本框架，使得后续的定理和命题可以通过逻辑推理得以成立。