We now show X C XPLUS. Since SC* = SC+, we can construct SC" from SC using axioms (F1), (F2) and (F3). We first show by induction that for any intermediate ...
確定! 回上一頁