Aksioma, postulat atau asumsi adalah pernyataan yang berfungsi sebagai premis atau titik awal untuk alasan dan argumen lebih lanjut. Aksioma diartikan juga sebagai suatu pernyataan yang memuat istilah dasar dan istilah terdefinisi dan tidak berdiri sendiri dan tidak diuji kebenarannya.[1] Akan tetapi, aksioma dalam matematika bukan berarti proposisi yang terbukti dengan sendirinya. Melainkan, suatu titik awal dari sistem logika. Misalnya, Nama lain dari aksioma adalah postulat. Suatu aksioma adalah basis dari sistem logika formal yang bersama-sama dengan aturan inferensi mendefinisikan logika. Pada akhirnya aksioma merupakan sebuah pernyataan yang sudah pasti kebenarannya.[2]
Istilah aksioma paling umum digunakan sebagai istilah dalam matematika, sasaran atau objek penelahan matematika yang berupa fakta, konsep, operasi dan prinsip memerlukan metode tertentu dalam menemukan kebenaran atau keabsahan dari konsep yang terkandung didalamnya. Objek penelaahan tersebut menggunakan simbol-simbol yang kosong dari arti, artinya bahwa setiap simbol yang digunakan dalam matematika merupakan simbol abstrak. Ciri ini yang memungkinkan matematika dapat memasuki wilayah bidang studi atau cabang ilmu lain. Pada hakekatnya berpikir matematika itu dilandasi oleh kesepakatan-kesepakatan yang disebut aksioma. Karena itu matematika merupakan sistem yang aksiomatik.[3]
Salah satu fenomena tentang aksioma yang ada adalah Selama 2000 tahun aksioma tentang bilangan dan geometri dianggap sebagai suatu kebenaran yang pasti karena teorema merupakan konsekuensi logis dari aksioma, maka teorema pun dianggap sebagai kebenaran yang tidak terbantahkan lagi.