An axiom is a kind of proposition that is not proved but considered to be self-evident.