Comment Comment by igravious > > a set can contain itself> Can it?Yes -- in set theory sets can contain themselves> > a term can have only one type... Due to this law, types cannot contain themselves> Doesn't look like one follows from the other...types are not sets and sets are not types therefore it makes no sense to link these two statements/judgements in the way you are linking them parent igravious 7 months ago
> Can it?
Yes -- in set theory sets can contain themselves
> > a term can have only one type... Due to this law, types cannot contain themselves
> Doesn't look like one follows from the other...
types are not sets and sets are not types therefore it makes no sense to link these two statements/judgements in the way you are linking them