Axioms

In traditional logic, an axiom or postulate is a proposition that is not proved or demonstrated but considered to be either self-evident, or subject to necessary decision. Therefore, its truth is taken for granted, and serves as a starting point for deducing and inferring other (theory dependent) truths.

In mathematics, the term axiom is used in two related but distinguishable senses: "logical axioms" and "non-logical axioms". In both senses, an axiom is any mathematical statement that serves as a starting point from which other statements are logically derived. Unlike theorems, axioms (unless redundant) cannot be derived by principles of deduction, nor are they demonstrable by mathematical proofs, simply because they are starting points; there is nothing else from which they logically follow (otherwise they would be classified as theorems)

The axiom is a mathematical term which has the statements of the starting points in the geometry. It can be mathematically derived by some principles as shown in the following. This can be logically demonstrated by some mathematical proofs as follows. In geometry the axioms has the symmetric property which has the addition, subtraction, multiplication and division.Let us also learn about the various types of Axioms.

Types of Axioms:

There are two types of Axioms:

· Logical Axiom

· Non – Logical Axiom

Hope you like the above example of Axioms.Please leave your comments, if you have any doubts.