An axiom is a statement that is accepted within a formal system as being true without requiring any proof.