Kata Bijak Tema 'Aksioma': Inspiratif dan Bermakna
"Sebuah sistem aksiomatik membangun hubungan gema antara apa yang diasumsikan oleh ahli matematika (aksioma) dan apa yang dapat diperolehnya (teorema). Dalam keadaan terbaik, hubungan itu cukup jelas sehingga ahli matematika dapat mengirimkan alasannya ke daftar periksa tidak resmi, melewati dari langkah ke langkah dengan keyakinan yang mudah, langkah-langkahnya cukup kecil sehingga ia tidak dapat merasa malu atau tersandung ."
--- David Berlinski
"Sistem aksiomatik terdiri dari aksioma dan teorema dan membutuhkan sejumlah koordinasi tangan-mata sebelum dapat bekerja. Sistem formal terdiri dari daftar simbol yang eksplisit, seperangkat aturan eksplisit yang mengatur kohabitasi mereka, daftar aksioma yang eksplisit, dan, di atas semua itu, daftar aturan eksplisit yang secara eksplisit mengatur langkah-langkah yang dapat diambil oleh ahli matematika mulai dari asumsi hingga kesimpulan . Tidak menarik bagi makna atau intuisi. Simbol kehilangan kekuatan referensi mereka; kesimpulan menjadi mekanis."
--- David Berlinski
"Matematika adalah ilmu tanpa prasangka. Untuk menemukannya saya tidak perlu Tuhan, seperti halnya Kronecker, atau asumsi fakultas khusus pemahaman kita selaras dengan prinsip induksi matematika, seperti halnya Poincaré, atau intuisi utama Brouwer, atau, akhirnya, seperti halnya Russell dan Whitehead, aksioma ketidakterbatasan, reducibilitas, atau kelengkapan, yang sebenarnya adalah asumsi-asumsi aktual yang tidak dapat dikompensasi oleh bukti konsistensi."
--- David Hilbert
"Saya tidak ingin mengandaikan sesuatu yang diketahui. Saya melihat dalam penjelasan saya di bagian 1 definisi titik konsep, garis lurus dan bidang, jika seseorang menambahkan semua aksioma kelompok iv sebagai karakteristik. Jika seseorang mencari definisi poin lain, mungkin dengan cara parafrase dalam hal ekstensi, dll., Maka, tentu saja, saya paling jelas harus menentang perusahaan semacam itu. Seseorang kemudian mencari sesuatu yang tidak pernah dapat ditemukan, karena tidak ada apa-apa di sana, dan semuanya hilang, menjadi bingung dan kabur, dan berubah menjadi permainan petak umpet."
--- David Hilbert
"Saya tidak melihat mengapa aksioma Prudence tidak perlu dipertanyakan, ketika bertentangan dengan kecenderungan saat ini, di tanah yang sama dengan yang di mana Egois menolak untuk mengakui aksioma Kebajikan Rasional. Jika Utilitarian harus menjawab pertanyaan, 'Mengapa saya harus mengorbankan kebahagiaan saya sendiri untuk kebahagiaan orang lain yang lebih besar?' pastilah harus diterima untuk bertanya kepada Egois 'Mengapa saya harus mengorbankan kesenangan saat ini demi kesenangan yang lebih besar di masa depan? Mengapa saya harus memikirkan diri sendiri tentang perasaan saya di masa depan, lebih daripada perasaan orang lain? '"
--- Henry Sidgwick