Axioms are propositions assumed to be true. They do not require further proof of their truthfulness.
Examples of axioms: (a) For all real numbers x and y, it holds that x + y = y + x (commutative law of addition). (b) Given two distinct points, there is only one straight line that passes through those two points.