| http://www.w3.org/ns/prov#value | - If you mean the axiom ???for any two sets x and y, there is a set z such that all members of x and all members of y are members of z (and every member of z is a member of x or a member of y)???, with the quantifiers over sets unrestricted, then Lewis???s system already has that as a theorem too.
|
