Re: FW: data structure vs. mathematical structure (was: [Axiom-developer] Graph theory)

[Gabriel Dos Reis]

"Bill Page" <address@hidden> 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