Axiom is a basic proposition that is based on the basic facts of human rationality that are not self-evident, tested by human repeated practice for a long time, and does not need to be proved. The theorem is based on axioms and assumptions, and obtained through strict reasoning and proof. It can describe the internal relationship between things. The theorem has internal strictness and cannot have logical contradictions.
According to the above definition, which of the following description is axiom?
There is only one straight line through two points.