Aksioma Geometri Euclidean adalah sistem aksiomatik , di mana semua teorema ("pernyataan benar") berasal dari sejumlah kecil aksioma. Menjelang awal buku pertama dari Elemen, Euclid memberikan lima postulat (aksioma) untuk pesawat geometri , menyatakan dalam hal konstruksi (sebagaimana diterjemahkan oleh Thomas Heath): "Mari berikut akan mendalilkan" : 1. "Untuk menggambar garis lurus dari setiap titik ke titik apapun. " 2. "Untuk menghasilkan [memperluas] sebuah garis lurus yang terbatas terus menerus dalam garis lurus. " 3. "Untuk menggambarkan lingkaran dengan pusat dan jarak [radius]. " 4. "Itu semua sudut yang tepat sama dengan satu sama lain." 5. Para paralel dalil : "Itu, jika garis lurus jatuh di dua jalur lurus membuat sudut interior pada sisi yang sama kurang dari dua sudut yang tepat, dua