ｸｲｽﾞ大陸

＞「数値化できないから推移しない」とは言っていません。
＞「数値化できない場合もあるので、推移性は明らかではない」

数値化できるものは、当然、推移系である。が、
「数値化できない」なら「推移系」でない、というのでなければ、
　なぜ、
「数値化できない場合もあるので、推移性は明らかではない」
をわざわざ持ち出したのか、理由がない。

「数値化できない場合もあるので、推移性は明らかではない」の「対偶」は、
　「推移性が明らかなものは、数値化できない場合がない」

ですので、「数値化できなくても、推移性が明らか」なものを一つ反例にあげたのですが。