what is the difference between axioms
Answers
Answer:
Based on logic, an axiom or postulate is a statement that is considered to be self-evident. Both axioms and postulates are assumed to be true without any proof or demonstration. ... Axioms and postulate serve as a basis for deducing other truths. The ancient Greeks recognized the difference between these two concepts.
Step-by-step explanation:
In Geometry, "Axiom" and "Postulate" are essentially interchangeable. In antiquity, they referred to propositions that were "obviously true" and only had to be stated, and not proven. In modern mathematics there is no longer an assumption that axioms are "obviously true". Axioms are merely 'background' assumptions we make. The best analogy I know is that axioms are the "rules of the game". In Euclid's Geometry, the main axioms/postulates are:
Given any two distinct points, there is a line that contains them.
Any line segment can be extended to an infinite line.
Given a point and a radius, there is a circle with center in that point and that radius.
All right angles are equal to one another.
If a straight line falling on two straight lines makes the interior angles on the same side less than two right angles, the two straight lines, if produced indefinitely, meet on that side on which are the angles less than the two right angles. (The parallel postulate).
A theorem is a logical consequence of the axioms. In Geometry, the "propositions" are all theorems: they are derived using the axioms and the valid rules. A "Corollary" is a theorem that is usually considered an "easy consequence" of another theorem. What is or is not a corollary is entirely subjective. Sometimes what an author thinks is a 'corollary' is deemed more important than the corresponding theorem. (The same goes for "Lemma"s, which are theorems that are considered auxiliary to proving some other, more important in the view of the author, theorem).
A "hypothesis" is an assumption made. For example, "If x is an even integer, then x2 is an even integer" I am not asserting that x2 is even or odd; I am asserting that if something happens (namely, if x happens to be an even integer) then something else will also happen. Here, "x is an even integer" is the hypothesis being made to prove it.