Penggunaan bahasa yang ketat secara mendasar merupakan sifat pembuktian

Lambang ketakhinggaan ∞ di dalam beberapa gaya sajian.
Penggunaan bahasa yang ketat secara mendasar merupakan sifat pembuktian matematika. Para matematikawan ingin teorema mereka mengikuti aksioma-aksioma dengan maksud penalaran yang sistematik. Ini untuk mencegah „teorema“ yang salah ambil, didasarkan pada praduga kegagalan, di mana banyak contoh pernah muncul di dalam sejarah subjek ini.[35] Tingkat kekakuan diharapkan di dalam matematika selalu berubah-ubah sepanjang waktu: bangsa Yunani menginginkan dalil yang terperinci, namun pada saat itu metode yang digunakan Isaac Newton kuranglah kaku. Masalah yang melekat pada definisi-definisi yang digunakan Newton akan mengarah kepada munculnya analisis saksama dan bukti formal pada abad ke-19. Kini, para matematikawan masih terus beradu argumentasi tentang bukti berbantuan-komputer. Karena perhitungan besar sangatlah sukar diperiksa, bukti-bukti itu mungkin saja tidak cukup kaku.[36] Aksioma menurut pemikiran tradisional adalah „kebenaran yang menjadi bukti dengan sendirinya“, tetapi konsep ini memicu persoalan.

Pada abad ke-19 berkembanglah sebuah aliran pemikiran yang dikenal sebagai formalisme. Bagi seorang formalis, pada pokoknya matematika adalah tentang sistem formal atas simbol-simbol yang didukung oleh aturan-aturan formal untuk https://www.amarfoundation.org/wp-includes/slot-dana/ memadukannya. Dari sudut pandang ini, aksioma-aksioma hanyalah rumus-rumus istimewa dalam sistem aksioma, diberikan tanpa diturunkan secara prosedural dari unsur-unsur lain dalam sistem. Contoh maksimal formalisme adalah seruan David Hilbert pada awal abad ke-20, sering disebut program Hilbert, untuk mengodekan semua matematika dengan cara ini.

Pada tingkatan formal, sebuah aksioma hanyalah seutas dawai lambang, yang hanya memiliki makna tersirat di dalam konteks semua rumus yang terturunkan dari suatu sistem aksioma. Inilah tujuan program Hilbert untuk meletakkan semua matematika pada sebuah basis aksioma yang kokoh, tetapi menurut Teorema ketaklengkapan Gödel tiap-tiap sistem aksioma (yang cukup kuat) memiliki rumus-rumus yang tidak dapat ditentukan; dan oleh karena itulah suatu aksiomatisasi terakhir di dalam matematika adalah mustahil. Meski demikian, matematika sering dibayangkan (di dalam konteks formal) tidak lain kecuali teori himpunan di beberapa aksiomatisasi, dengan pengertian bahwa tiap-tiap pernyataan atau bukti matematika dapat dikemas ke dalam rumus-rumus teori himpunan.