A statement that is taken to be true, so that further reasoning can be done.
It is not something we want to prove.
Example: one of Euclid's axioms (over 2300 years ago!) is:
"If A and B are two numbers that are the same, and C and D are also the same, A+C is the same as B+D"
Definition of
Axiom
