Keketatan matematika

Sebagian besar argumentasi matematika disajikan sebagai purwarupa bukti-bukti ketat secara formal. Alasan yang sering dikutip untuk argumentasi itu adalah bukti-bukti ketat yang lengkap, yang cenderung lebih panjang dan lebih berbobot, bahkan mengaburkan apa yang ditunjukkan. Langkah-langkah yang jelas bagi pikiran manusia mungkin memiliki turunan-turunan formal yang cukup panjang dari aksioma. Di bawah argumentasi ini, terdapat tawar menawar antara keketatan dan kesaksamaan. Beberapa pihak memberikan argumentasi bahwa penggunaan bahasa formal untuk mendirikan keketatan matematika yang lengkap mungkin saja dapat membuat teori yang dipersengketakan atau disalahtafsirkan dengan menyibak kelemahan di dalam penalaran, misalnya penyalahgunaan statistika.