Setiap sistem logika harus dimulai dari suatu titik. Aksioma adalah pernyataan yang dianggap benar tanpa bukti, yang berfungsi sebagai titik awal untuk menurunkan hasil lainnya. Aksioma bukanlah sesuatu yang sembarangan; aksioma dipilih karena tampak jelas dengan sendirinya, bermanfaat, atau menguntungkan untuk membangun teori yang konsisten.

Lima postulat Euklides untuk geometri adalah contoh klasiknya. Selama berabad-abad, postulat-postulat tersebut dianggap sebagai kebenaran yang jelas tentang ruang fisik. Ketika para matematikawan mempertanyakan postulat paralel tersebut, geometri non-Euklidan muncul, menunjukkan bahwa aksioma adalah asumsi, bukan fakta absolut. Matematika modern sering menggunakan istilah aksioma secara lebih longgar, merujuk pada pernyataan apa pun yang diterima dalam suatu sistem formal.

Teori himpunan memiliki aksioma-aksioma tersendiri, seperti aksioma pilihan, yang masih kontroversial di kalangan beberapa matematikawan. Dalam praktiknya, aksioma mendefinisikan aturan main. Ubahlah aturan main tersebut dan Anda akan mendapatkan permainan yang berbeda, terkadang dengan hasil yang mengejutkan dan bermanfaat.

• Pernyataan diterima tanpa bukti
• Titik awal untuk deduksi logis
• Postulat Euklides adalah contoh klasiknya.
• Himpunan aksioma yang berbeda menghasilkan sistem matematika yang berbeda.