用capable of proof造句子，“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. "

Is the claim capable of proof?