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.
確定! 回上一頁