"Bill Page" <[EMAIL PROTECTED]> writes: [...]
| > Bill Page writes: | > ... | > | | > | All domains that have SetCategory are required to have a hash | > | into SmallInteger. | > | > That is not a mathematical requirement. | > | | I would tend to agree but perhaps Kurt Gödel would not have... ;-) >From constructive mathematics point of view, the only things that are required for a set are: (1) say how to build element of a set (2) equality test. -- Gaby _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
