Euclidean geometry axioms
Axiom of congruence (equality) of segments and angles.
Axiom of parallel straight lines.
Archimedean axiom of continuity.
As we have noted above, there is a set of the axioms – properties, that are considered in geometry as main ones and are adopted without a proof . Now, after introducing some initial notions and definitions we can consider the following sufficient set of the axioms, usually used in plane geometry.
Axiom of belonging. Through any two points in a plane it is possible to draw a straight line, and besides only one.
Axiom of ordering. Among any three points placed in a straight line, there is no more than one point placed between the two others.
Axiom of congruence ( equality ) of segments and angles. If two segments (angles) are congruent to the third one, then they are congruent to each other.
Axiom of parallel straight lines. Through any point placed outside of a straight line it is possible to draw another straight line, parallel to the given line, and besides only one.
Axiom of continuity ( Archimedean axiom ). Let AB and CD be two some segments; then there is a finite set of such points A 1 , A 2 , … , A n , placed in the straight line AB, that segments AA 1 , A 1 A 2 , … , A n - 1 A n are congruent to segment CD, and point B is placed between A and A n .
We emphasize, that replacing one of these axioms by another, turns this axiom into a theorem, requiring a proof. So, instead of the axiom of parallel straight lines we can use as an axiom the property of triangle angles (“the sum of triangle angles is equal to 180 deg”). But then we should to prove the property of parallel lines.