[peter_d_sherman]

Also...

Does there exist at least one subset of all of the sets in existence -- which is a type?

?