| http://www.w3.org/ns/prov#value | - Well, the>> question is why there _is_ a _set_ S with the>> property that for every y, y is in S if and only>> if y is a subset of X.>>>> There is also no problem with>>>> R = {x : x is not an element of x},>>>> except of course there _are_ problems with that.>>Right.
|