ｸｲｽﾞ大陸

「仮にそのような強い弱い」という定義をしたら、の話です。
仮に直接対決の戦績で「強い弱い」を決めるという決め方をした場合、三すくみが起こる、つまり推移律が破綻する、ということです。

↑「実数の大小関係は推移律を持つように定義した」→「だから推移律を持つ」
という論理展開だったと思います。