In traditional logic, an axiom or postulate is a proposition that is not and cannot be proven within the system based on them. Axioms define and delimit the realm of analysis. In other words, an axiom is a logical statement that is assumed to be true. Therefore, its truth is taken for granted within the particular domain of analysis, and serves as a starting point for deducing and inferring other (theory and domain dependent) truths. An axiom is defined as a mathematical statement that is accepted as being true without a Mathematical proof.
released October 18, 2011
all rights reserved