Euclidean Geometry
Euclidean Geometry
This system is an axiomatic system, which hoped to prove all the "true statements" as
theorems in geometry from a set of finite number of axioms.
Other mathematicians proposed that the statement was indeed a postulate, and tried to
prove their suggestions, by "negating the postulate" (call the negation NOT P) as an
axiom, hoping to arrive at a contradiction. If a contradiction is achieved with Y, a
known theorem, (previously deduced from the other postulates) ie: if it leads to a
situation - Y AND NOT Y, or if a contradiction is achieved directly with the assumed
NOT P ie : if we arrive at P AND NOT P, this would mean that the assumption of
negation of P was wrong (Proof by contradiction), and hence the parallel postulate
needs to be "assumed to be true".
http://www.fact-index.com/e/eu/euclidean_geometry.html