Jabarkan Argumentasi matematika dari Teori argumentasi

Dasar kebenaran matematika telah menjadi bahan perdebatan panjang. Frege secara khusus berusaha untuk menunjukkan (lihat Gottlob Frege, The Foundations of Arithmetic, 1884, dan Begriffsschrift, 1879) bahwa kebenaran aritmatika dapat diturunkan dari aksioma logis murni dan oleh karena itu, pada akhirnya, adalah kebenaran logis. Proyek ini dikembangkan oleh Russell dan Whitehead dalam Principia Mathematica mereka. Jika suatu argumen dapat dituangkan dalam bentuk kalimat dalam logika simbolik, maka argumen tersebut dapat diuji dengan penerapan prosedur pembuktian yang diterima. Ini telah dilakukan untuk aritmatika menggunakan aksioma Peano. Bagaimanapun, argumen dalam matematika, seperti dalam disiplin lain, dapat dianggap valid hanya jika dapat ditunjukkan bahwa argumen tersebut tidak dapat memiliki premis yang benar dan kesimpulan yang salah.