TLDR
Aksioma dalam matematika bukanlah kebenaran yang jelas dan dapat diterima begitu saja. Proses pengembangan teori himpunan dan aksioma pilihan adalah hasil dari kolaborasi dan perdebatan di kalangan matematikawan. Konsistensi dan ketidaklengkapan dalam teori aksiomatik menunjukkan keterbatasan dalam pemahaman matematika. Matematika membangun kebenaran melalui rangkaian pembuktian yang berlandaskan aksioma dasar yang diterima tanpa pembuktian lanjutan. Contoh paling terkenal adalah sistem aksioma Zermelo-Fraenkel dengan aksioma pilihan (ZFC) yang menjadi fondasi hampir semua matematika modern. Proses penetapan aksioma ini terjadi karena kebutuhan untuk menghindari paradoks dan menjaga konsistensi matematika.Salah satu tantangan terbesar dalam fondasi matematika adalah paradoks yang muncul dari teori himpunan, seperti paradoks Russell. Ernst Zermelo dan Abraham Fraenkel memperbaiki aksioma yang menjaga keselamatan teori himpunan, sementara aksioma pilihan diajukan untuk mendukung pembuktian penting lainnya. Namun, aksioma pilihan tidak dapat dibuktikan atau disangkal dari aksioma lain, yang membuatnya kontroversial sebelum akhirnya diterima secara luas karena kegunaannya.Penemuan teorema oleh Kurt Gödel dan Paul Cohen menunjukkan keterbatasan sistem aksiomatik dalam matematik yaitu tidak dapat membuktikan konsistensi mereka sendiri dan adanya pernyataan yang tidak dapat dibuktikan. Karena itu, penerimaan aksioma dalam matematika lebih didasarkan pada kegunaan dan daya hasilkan teorema daripada bukti tunggal kebenaran. Hal ini menandai fondasi matematika sebagai sesuatu yang dipilih dan dikembangkan secara manusiawi, bukan semata kebenaran mutlak.
