[FOM] Do hypersets have types?

[Sandy Hodges]

By the ordinary concept of a hierarchy of types, a set of type N
contains only sets of type N-1 or less.   This definition obviously
won't work for hypersets.    But there might be some concept of type for
which, say, the hyperset which contains itself and the null set gets a
fairly low type number.     The question is, is there such a definition
such that the set of all type N hypersets which are not elements of
themselves, is always of type > N?

------- -- ---- - --- -- --------- -----
Sandy Hodges / Alameda,  California,   USA
mail to SandyHodges at attbi.com will reach me.