bebizonyítható
Bebizonyítható is a Hungarian adjective meaning "provable" or "demonstrable." In mathematics and formal logic, a statement is bebizonyítható if there exists a finite derivation from the axioms of a formal system that yields the statement as a theorem. The term is used to distinguish what is provable within a given system from what is merely true or convincing in a broader sense.
Morphology: The root bizonyít means "to prove." The prefix be- adds the sense of "capable of" or
Usage: In proofs and theorems, bebizonyítható is applied to statements that have formal proofs. For example,
Relation to truth and decidability: Provability is system-dependent. Gödel's incompleteness theorems show that in any sufficiently
See also: provability, proof theory, formal systems, Gödel's incompleteness theorems.
---