Comment Comment by Koshkin > a set can contain itselfCan it?> a term can have only one type... Due to this law, types cannot contain themselvesDoesn't look like one follows from the other... parent Koshkin 7 months ago
Can it?
> a term can have only one type... Due to this law, types cannot contain themselves
Doesn't look like one follows from the other...