[Axiom-developer] Type: Type

[Ralf Hemmecke]

> At the logical level, as I have observed some time ago, there is an
> inconsistency problem with Type:Type.  I'm wondering how Aldor gets
> away with that.  Many languages (mostly functional) use stratified
> types.

That question should be asked at aldor-l.

Can you construct a paradox that demonstrates the problem in terms of 
Aldor code? To me it looks like the class (not set) of all classes. 
Would there be a problem in class theory?

Ralf