PENGERTIAN SISTEM AKSIOMATIK
Sistem aksiomatik memuat himpunan yang terdiri dari istilah-istilah yang tidak didefinisikan atau primitif, dan memiliki arti yang bergantung pada interpretasi pembaca. Semua istilah selain istilah-istilah primitif didefinisikan berdasarkan istilah-primitif. Istilah-istilah itu disebut definisi. Sistem aksiomatik juga mengandung himpunan pernyataan yang tidak perlu dibuktikan. Pernyataan-pernyataan yang tidak perlu dibuktikan tersebut dirumuskan menggunakan istilah-istilah primitif dan definisi-definisi. Pernyataan-pernyataan tersebut disebut aksioma atau postulat. Konsekuensi logis dari aksioma-aksioma pada suatu sistem aksiomatik disebut sebagai teorema, yang keabsahannya tidak bergantung pada interpretasi terhadap istilah-istilah primitif.