(For other posts in this series, see here.)
Within mathematics, Euclidean geometry is the prototypical system that demonstrates the power of proof and serves as a model for all axiomatic systems of logic. In such systems, we start with a set of axioms (i.e., basic assumptions) and a set of logical rules, both of which seem to be self-evidently true. By applying the rules of logic to the axioms, we arrive at certain conclusions. i.e., we prove what are called theorems. Using those theorems we can prove yet more theorems, creating a hierarchy of theorems, all ultimately resting on the underlying axioms and the rules of logic. Do these theorems correspond to true statements? Yes, but only if the axioms with which we started out are true and the rules of logic that we used are valid. Those two necessary conditions have to be established independently.
[Read more…]

