proofsとは意味:proofs 校正刷[その他] proofs meaning:[Computer] 1. < logic > A finite sequence of well-formed formulas , F1, F2, ... Fn, where each Fi either is an axiom , or follows by some rule of inference from some of the previous F's, a...proofs перевод:Доказательства