completeness, Concept of the adequacy of a formal system that is employed both in proof theory and in model theory (see logic). In proof theory, a formal ...
確定! 回上一頁