If one accepts double negation elimination, then it makes no sense for both existence and nonexistence to be negated, unless these negations are qualified ...
確定! 回上一頁