In logic, an axiom, or postulate, is a logical statement that is assumed to be true, often because it is so self-evident or well established as fact. It is a proposition that is proven or demonstrated to be true but is considered so nonetheless.
« Back to Glossary Index