The axiom is the foundation for logical inference and demonstration. It is a proposition, an assumption, a "first-principle" which is self-evident.
