the state or condition of being complete · (logic) The property of a logical theory that whenever a wff is valid then it must also be a theorem. Symbolically, ...
確定！ 回上一頁
