axiom of union

(from the article `logic, history of`) ...S, there is a set, S, containing all and only the members of S having this property. That is, already-existing sets can be partitioned or ... ...means of constructing sets from existing sets must be introduced if some of the desirable features of Cantorian set theory are to be established. ... ...
Found on
No exact match found