TFA is right. Parent comment is not really rebutting in any meaningful way. Your rebuttal makes less sense. >> "a term can have only one type... Due to this

TFA is right. Parent comment is not really rebutting in any meaningful way. Your rebuttal makes less sense. >> "a term can have only one type... Due to this law, types cannot contain themselves" > 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