It is the foundation for logical inference and demonstration. It is a proposition, a 'first-principle' which is self evident.
