For Mathematical Truth to Be Known: A Provability-based Condition Construction

Source abstract

One of the defining characteristics of mathematics is its emphasis on proof, which is the process of demonstrating the truth or falsehood of a mathematical claim through a rigorous and logical argument. However, while the concept of proof is central to mathematics, it is also a complex and multifaceted notion that raises a range of philosophical and practical questions. This article proposed a condition beyond the JTB framework for mathematical knowledge by using mathematics provability with a careful reflection on Gettier cases.