用“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. "