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