A deductive system might be sound without being complete . 2. ... A sound deductive system might contain proofs which establish incorrect results . 4.
確定! 回上一頁