S={“自由地骂政府"}
T("自由")={”自由的骂政府“,”自由的不骂政府“,....}
"相当长久"文章的题目论点是 S<>T, 但文章里实际证明的是T是个有限集合(大概也是他想证明的).
而S和T的真正关系是