Axiom is a Chinese vocabulary, pronounced as G not ng l ǐ, which refers to a basic proposition that is based on the self-evident basic facts of human reason and has been tested by repeated human practice for a long time, without further proof.

In mathematics, the word axiom is used in two related but different meanings-logical axiom and illogical axiom. In both senses, axioms are the starting point for deducing other propositions. Unlike theorems, an axiom (unless it is redundant) cannot be deduced from other axioms, otherwise it is not the starting point itself, but some kind of result that can be obtained from the starting point-it can be simply classified as a theorem.