Provenness is the property of having been established through a process of demonstration, verification, or validation. Unlike truth (which concerns correspondence or coherence), provenness concerns the epistemic status of a claim relative to a community’s standards of evidence and reasoning. A claim may be true without being proven, and in some formal systems, the gap between truth and provenness is itself a subject of study.
In formal logic and mathematics, provenness is sharply defined: a statement is proven if there exists a valid derivation from accepted axioms. Gödel’s incompleteness theorems demonstrate that in sufficiently expressive formal systems, there exist true statements that are not provable within the system — truth and provenness come apart in principle. This gap motivates constructivist and intuitionist approaches that identify mathematical truth with provenness: a statement is true if and only if there is a proof of it.
In broader epistemology, provenness functions as a social and institutional category. What counts as proven depends on evidentiary standards, which vary across disciplines, legal systems, and communities of practice. The distinction between “proven” and “established beyond reasonable doubt” in law, or between “proven” and “supported by the preponderance of evidence” in science, reflects different institutional calibrations of the relationship between evidence and confidence.