👉 In mathematics, provability is a property of statements that indicates whether they are true or false. It is one of the fundamental properties of mathematical logic and set theory. A statement is provable if it can be derived from other known statements by means of logical rules and inference. In other words, it must be able to follow logically from its own premises. For example, the statement "There exists a prime number p such that 2p + 1 = 3" cannot be proven because