In philosophy, Logic is the formal systematic study of the principles of valid inference and correct reasoning. Logic is used in most intellectual activities, but is studied primarily in the disciplines of philosophy, mathematics, semantics, and computer science...
, an axiom or postulate is a proposition that is not proven or demonstrated but considered either to be self-evident
In epistemology , a self-evident proposition is one that is known to be true by understanding its meaning without proof....
or to 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, and serves as a starting point for deducing and inferring other (theory dependent) truths.
Mathematics is the study of quantity, space, structure, and change. Mathematicians seek out patterns and formulate new conjectures. Mathematicians resolve the truth or falsity of conjectures by mathematical proofs, which are arguments sufficient to convince other mathematicians of their validity...
, the term axiom is used in two related but distinguishable senses: "logical axioms" and "non-logical axioms".