Search results
Results From The WOW.Com Content Network
Euclidean geometry is a mathematical system attributed to ancient Greek mathematician Euclid, which he described in his textbook on geometry, Elements.Euclid's approach consists in assuming a small set of intuitively appealing axioms (postulates) and deducing many other propositions from these.
This postulate does not specifically talk about parallel lines; [1] it is only a postulate related to parallelism. Euclid gave the definition of parallel lines in Book I, Definition 23 [2] just before the five postulates. [3] Euclidean geometry is the study of geometry that satisfies all of Euclid's axioms, including the parallel postulate.
Euclid then presents 10 assumptions (see table, right), grouped into five postulates (axioms) and five common notions. [45] [k] These assumptions are intended to provide the logical basis for every subsequent theorem, i.e. serve as an axiomatic system. [46] [l] The common notions exclusively concern the comparison of magnitudes. [48]
The Elements (Ancient Greek: Στοιχεῖα Stoikheîa) is a mathematical treatise consisting of 13 books attributed to the ancient Greek mathematician Euclid c. 300 BC. It is a collection of definitions, postulates, propositions (theorems and constructions), and mathematical proofs of the propositions.
Non-logical axioms may also be called "postulates", "assumptions" or "proper axioms". [5] In most cases, a non-logical axiom is simply a formal logical expression used in deduction to build a mathematical theory, and might or might not be self-evident in nature (e.g., the parallel postulate in Euclidean geometry). To axiomatize a system of ...
In different sets of axioms for Euclidean geometry, any of these can replace the Euclidean parallel postulate. [67] The following partial list indicates some of these theorems that are of historical interest. [68] Parallel straight lines are equidistant. (Poseidonios, 1st century B.C.)
This is a list of axioms as that term is understood in mathematics. In epistemology , the word axiom is understood differently; see axiom and self-evidence . Individual axioms are almost always part of a larger axiomatic system .
Removing five axioms mentioning "plane" in an essential way, namely I.4–8, and modifying III.4 and IV.1 to omit mention of planes, yields an axiomatization of Euclidean plane geometry. Hilbert's axioms, unlike Tarski's axioms, do not constitute a first-order theory because the axioms V.1–2 cannot be expressed in first-order logic.