Coba jelasin Defenisi dari Aksioma dong

Kata aksioma berasal dari bahasa Yunani kata  (Axioma), sebuah verbal noun dari  kata kerja (Axioein), yang berarti "untuk menganggap layak", tetapi juga "membutuhkan", yang pada gilirannya berasal dari  ( áxios ), yang berarti "seimbang", dan karenanya "memiliki (sama) nilai (sebagai)", "layak", "pantas". Di antara para filosof Yunani kuno, sebuah aksioma adalah klaim yang dapat dilihat sebagai kebenaran yang terbukti dengan sendirinya tanpa perlu pembuktian.

Istilah aksioma juga dimengerti dalam matematika.Kata aksioma dalam matematika juga disebut postulat. Arti dasar dari kata postulat adalah "menuntut"; misalnya, Euclid menuntut agar seseorang setuju bahwa beberapa hal dapat dilakukan (misalnya, dua titik mana pun dapat digabungkan dengan garis lurus).

Geometri kuno mempertahankan beberapa perbedaan antara aksioma dan postulat. Saat mengomentari buku-buku Euclid, Proclus menyatakan bahwa " Geminus berpendapat bahwa Postulat [4] ini tidak boleh digolongkan sebagai postulat tetapi sebagai aksioma, karena tidak, seperti tiga Postulat pertama, menegaskan kemungkinan beberapa konstruksi tetapi mengungkapkan suatu properti penting." Boethius menerjemahkan 'postulat' sebagai petitio dan menyebut aksioma notiones communes tetapi dalam manuskrip-manuskrip selanjutnya penggunaan ini tidak selalu dijaga dengan ketat.