A statement that is taken to be true (without needing proof) so that further reasoning can be done.

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

See: Proof