Appendix A - Hilbert's Axioms for Euclidean Geometry

Mathematics is a game played according to certain rules with meaningless

marks on paper.
—David Hilbert (1862–1943)

Introductory Note. Hilbert's Axiom set is an example of what is called a synthetic

geometry. A synthetic geometry has betweenness and congruence as undefined
terms, properties of congruence are given in the axioms, does not have axioms for
distance and angle measure. However, Axiom V.1 is related to measurement of
length by giving a method of comparing two arbitrary segments.

Undefined Terms point, line, plane, lie, between, and congruence.

(Some web browsers display some characters incorrectly, an angle shows as ,

congruent shows as , and the Greek characters alpha and beta show as .)

Group I. Axioms of Incidence

I.1. For every two points A, B, there exists a line m that contains each of the points
A, B.
I.2. For every two points A, B, there is not more than one line m that contain each
of the points A,B.
I.3. There exist at least two points on a line. There exist at least three points that do
not lie on a line.
I.4. For any three points A, B, C that do not lie on the same line, there exists a
plane  that contains each of the points A, B, C. For every plane there exists a point
which it contains.
I.5. For any three points A, B, C that do not lie on the same line, there exists no
more than one plane that contains each of the three points A, B, C.
I.6. If two points A, B of a line m lie in a plane , then every point of m lies in the
plane .
I.7. If two planes  have a point A in common, then they have at least one more
point B in common.
I.8. There exist at least four points which do not lie in a plane.

Group II. Axioms of Order

II.1. If point B lies between points A and C, then A, B, C are three distinct points of
a line, and B also lies between C and A.
II.2. For any two distinct points A and C, there exists at least one point B on the
line AC such that C lies between A and B.
II.3. Of any three points on a line there exists no more than one that lies between
the other two.
II.4. Let A, B, C be three points that do not lie on a line and let m be a line in the
plane ABC which does not meet any of the points A, B, C. If the line m passes
through a point of the segment AB, it also passes through a point of the segment
AC or segment BC.

Group III. Axioms of Congruence

III.1. If A, B are two points on a line m, and A' is a point on the same or on another
line m' then it is always possible to find a point B' on a given side of the line m'
through A' such that the segment AB is congruent to the segment A'B'. In symbols
AB  A'B'.
III.2. If two segments are congruent to a third one, they are congruent to each
other.
III.3. On the line m let AB and BC be two segments which except for B have no
point in common. Furthermore, on the same or on another line m' let A'B' and B'C'
be two segments which except for B' also have no point in common. In that case, if
AB  A'B' and BC  B'C', then AC  A'C'.
III.4. Let (h,k) be an angle in a plane  and m' a line in a plane ' and let a
definite side of m' in ' be given. Let h' be a ray on the line m' that emanates from
the point O'. Then there exists in the plane ' one and only one ray k' such that the
angle (h,k) is congruent to the angle (h',k') and at the same time all interior
points of the angle (h',k') lie on the given side of m'. Symbolically (h,k) 
(h',k'). Every angle is congruent to itself.
III.5. If for two triangles ABC and A'B'C' the congruences AB  A'B', AC  A'C',
BAC  B'A'C' hold, then the congruence ABC  A'B'C' is also satisfied.

Group IV. Axiom of Parallels

IV. Let m be any line and A be a point not on it. Then there is at most one line in
the plane, determined by m and A, that passes through A and does not intersect m.

Group V. Axioms of Continuity

V.1. (Axiom of measure or Archimedes' Axiom) If AB and CD are any segments,

then there exists a number n such that n segments CD constructed contiguously
from A, along the ray from A through B, will pass beyond the point B.
V.2. (Axiom of line completeness) An extension of a set of points on a line with its
order and congruence relations that would preserve the relations existing among
the original elements as well as the fundamental properties of line order and
congruence that follows from Axioms I-III, and form V.1 is impossible.

Defined Terms

 Consider two points A and B on a line m. The set of the two points A and B
is called a segment. The points between A and B are called the points of the
segment AB, or are also said to lie inside the segment AB.
 Let A, A', O, B be four points of a line m such that O lies between A and B,
but not between A and A'. The points A, A' are then said to lie on the line m
on one and the same side of the point O and the points A, B are said to lie on
the line m on different sides of the point O. The totality of the points of the
line m that lie on the same side of O is called a ray emanating from O.
 Let be a plane  and h, k any two distinct rays emanating from O in  and
lying on distinct lines. The pair of rays h, k is called an angle and is denoted
by (h,k) or (k,h).
 Let the ray h lie on the line h' and the ray k on the line k'. The rays h and k
together with the point O partition the points of the plane into two regions.
All points that lie on the same side of k' as those of h, and also those that lie
on the same side of h' as those on k, are said to lie in the interior of the angle
(h,k).
 If A, B, C are three points which do not lie on the same line, then the system
of three segments AB, BC, CA, and their endpoints is called the triangle
ABC.
 Lampiran A - Aksioma Hilbert untuk Euclidean Geometry
Mathematics adalah permainan yang dimainkan sesuai dengan aturan tertentu
dengan tanda yang tidak berarti di atas kertas.
—David Hilbert (1862–1943)
Catatan Pengantar. Himpunan Aksioma Hilbert adalah contoh dari apa yang
disebut geometri sintetis . Geometri sintetik memiliki antara dan kongruensi
sebagai istilah yang tidak ditentukan, sifat kongruensi diberikan dalam aksioma,
tidak memiliki aksioma untuk mengukur jarak dan sudut. Namun, Aksioma V.1
terkait dengan pengukuran panjang dengan memberikan metode membandingkan
dua segmen yang berubah-ubah.
Ketentuan yang Tidak Terdefinisi
titik , garis , bidang , letak , antara , dan keselarasan .
(Beberapa browser web menampilkan beberapa karakter secara tidak benar, sudut
menunjukkan sebagai , kongruen menunjukkan sebagai , dan karakter Yunani
alfa dan beta menunjukkan sebagai  .)
Kelompok I. Aksioma Insiden
I.1. Untuk setiap dua titik A, B, terdapat garis m yang berisi masing-masing titik A,
B .
I.2. Untuk setiap dua titik A, B, tidak ada lebih dari satu baris m yang berisi
masing-masing titik A, B .
I.3. Setidaknya ada dua poin dalam satu baris. Setidaknya ada tiga poin yang tidak
terletak pada garis.
I.4. Untuk setiap tiga titik A, B, C yang tidak terletak pada garis yang sama,
terdapat bidang yang berisi masing-masing titik A, B, C. Untuk setiap bidang
terdapat titik – titik tersebut.
I.5. Untuk setiap tiga titik A, B, C yang tidak terletak pada baris yang sama,
terdapat tidak lebih dari satu bidang yang berisi masing-masing tiga titik A, B, C .
I.6. Jika dua titik A, B dari garis m terletak di bidang , maka setiap titik
pada m terletak di bidang .
I.7. Jika dua bidang memiliki titik A yang sama, maka mereka memiliki
setidaknya satu titik B yang sama.
I.8. Setidaknya ada empat titik yang tidak terletak di bidang.
Kelompok II. Aksioma Ketertiban
II.1. Jika titik B terletak di antara titik A dan C , maka A, B, C adalah tiga titik
berbeda dari sebuah garis, dan B juga terletak di antara C dan A.
II.2. Untuk setiap dua titik yang berbeda A dan C, terdapat setidaknya satu
titik B pada garis AC sehingga B terletak antara A dan C.
II.3. Dari tiga titik pada satu garis tidak ada lebih dari satu titik yang terletak di
antara dua titik lainnya.
II.4. Misalkan A, B, C tiga titik yang tidak terletak pada satu garis dan m adalah
garis pada bidang ABC yang tidak memuat salah satu titik A, B, C . Jika
garis m melewati titik pada ruas garis AB , ia juga melewati titik pada ruas
garis AC atau ruas garis BC.
Kelompok III. Aksioma Kesesuaian
III.1. Jika A, B adalah dua titik pada garis m , dan A ' adalah titik pada garis yang
sama atau pada garis lain m' maka selalu mungkin untuk menemukan titik B ' pada
sisi tertentu dari garis m' hingga A ' sedemikian rupa sehingga ruas
garis AB kongruen dengan ruas garis A'B ' . Dalam simbol AB A'B '.
III.2. Jika dua ruas garis kongruen dengan yang ketiga, maka ketiga ruas garis itu
kongruen satu sama lain.
III.3. Pada baris m, misalkan AB dan BC menjadi dua ruas garis kecuali
untuk B tidak memiliki kesamaan. Lebih lanjut, pada garis yang sama atau pada
garis lain, m' misalkan A'B' dan B'C ' menjadi dua ruas garis kecuali
untuk B' juga tidak memiliki kesamaan. Dalam hal ini, jika AB A'B
' dan BC B'C', maka AC A'C'.
III.4. Misalkan ( h, k ) menjadi sudut pada bidang dan m ' sebuah garis dalam
bidang ' dan misalkan sisi dari m ' dalam ' didiberikan.  h ' merupakan sinar
garis pada garis m' yang berasal dari titik O' . Kemudian di bidang ' memuat satu
dan hanya satu sinar garis k' sedemikian rupa sehingga sudut ( h, k ) kongruen
dengan sudut ( h ', k ') dan pada saat yang sama semua titik dalam sudut ( h ',
k ') terletak di sisi yang diberikan dari m '. Secara simbolis ( h, k ) ( h
'k ') . Setiap sudut adalah kongruen dengan dirinya sendiri. 
III.5. Jika dua segitiga ABC dan A'B'C ' yang kongruen AB A'B', AC A'C
' BAC B'A'C' , maka  ABC A'B 'C' .

Kelompok IV. Aksioma Paralel

IV. Misalkan m adalah sembarang garis dan A titik diluar garis tersebut. Lalu ada
paling banyak satu garis di bidang, ditentukan oleh m dan A , yang melewati A dan
tidak berpotongan m .
Kelompok V. Aksioma Kontinuitas
V.1. ( Aksioma ukuran atau Archimedes' Aksioma ) Jika AB dan CD adalah
sebarang ruas garis, maka ada sejumlah n sehingga n ruas garis CD dibangun
bersebelahan dari A , sepanjang sinar garis dari A hingga B , akan melewati titik B.
V.2. ( Aksioma kelengkapan garis ) Perpanjangan sekumpulan titik pada garis
dengan keteraturan dan hubungan kongruensi yang akan melestarikan hubungan
yang ada di antara elemen asli serta sifat dasar dari urutan garis dan kongruensi
yang mengikuti dari Aksioma I-III , dan formulir V.1 tidak mungkin.
Ketentuan yang Didefinisikan
 Pertimbangkan dua titik A dan B pada garis m . Himpunan dua
titik A dan B disebut ruas garis . Titik-titik antara A dan B disebut titik-titik
ruas garis AB , atau juga dikatakan berada d dalam segmen AB .
 Misalkan A, A ', O, B adalah empat titik pada garis m sedemikian rupa
sehingga O terletak di antara A dan B , tetapi bukan antara A dan A'. Titik  A,
A' kemudian dikatakan terletak pada garis m pada satu sisi yang sama dari
titik O dan titik-titik A, B dikatakan terletak pada garis m pada sisi yang
berbeda dari titik O . Semua titik-titik garis m yang terletak di sisi O
yang sama disebut sinar garis yang berasal dari O.
 Misalkan bidang dan h, k setiap dua sinar garis berbeda yang berasal
dari O di dan terletak di garis yang berbeda. Pasangan sinar garis h,
k disebut sudut dan dilambangkan dengan ( h, k ) atau ( k, h ) .
 Misalkan sinar garis h terletak pada garis h ' dan sinar garis k pada
garis k' . Sinar garis h dan k memuat titik O membagi titik-titik pada bidang
menjadi dua bagian. Semua titik yang terletak di sisi yang sama dari k ' seperti
yang dari h , dan yang terletak di sisi yang sama dari h' seperti yang di k ,
dikatakan terletak di bagian dalam sudut ( h, k ) .
 Jika A, B, C adalah tiga titik yang tidak segaris, maka dari tiga ruas
garis AB, BC, CA, dan gabungan dari ketiga ruas garis tersbut
disebut segitiga ABC.