Aksioma

Kata aksioma berasal dari Bahasa Yunani αξιωμα ("axioma"), yang berarti dianggap berharga atau sesuai atau dianggap terbukti dengan sendirinya. Kata ini berasal dari αξιοειν ("axioein"), yang berarti dianggap berharga, yang kemudian berasal dari
αξιος ("axios"), yang berarti berharga.
Di antara banyak filsuf Yunani, suatu "aksioma" adalah suatu pernyataan yang bisa dilihat kebenarannya tanpa perlu adanya bukti.
Kata aksioma juga dimengerti dalam matematika. Kata aksioma dalam matematika juga disebut postulat. Akan tetapi, aksioma dalam matematika bukan berarti proposisi yang terbukti dengan sendirinya. Melainkan, suatu titik awal dari sistem logika. Misalnya, 1+1=2
Nama lain dari aksioma adalah postulat. Suatu aksioma adalah basis dari sistem logika formal yang bersama-sama dengan aturan inferensi mendefinisikan logika.