這個公設看起來有點複雜,但我們如果引入一個關於子集合(subset)的定義就能讓問題簡化許多。以上句式中的z 是X 的子集,寫成z ⊆ X ,它的定義是:∀ u (u∈z → u∈ ...
確定! 回上一頁