“capable of proof”簡單造句，capable of proof造句子

Is the claim capable of proof?

"A theorem within such a system is a formula capable of proof through a finite sequence of well-formed formulas, each of which either is an axiom or is validly inferred from earlier formulas. "