ｸｲｽﾞ大陸

横から失礼します。
面白く読ませて頂いてます。
ITEMAEさんとボムボムさんとの議論、私なりに要点を考えてみました。

１．「グーは、チョキより強い。」
２．「チョキは、パーより強い。」
　　これが正しいならば、
３．「グーは、パーより強い。」は正しい。

ボムボムさんの意見
正しくない。
帰結３．を導くには、次の条件０．が必要である。
０．「『Aは、Bより強い。』かつ『Bは、Cより強い。』ならば『Aは、Cより強い。』」
０．は公理（推移律）ではないので条件として記述が必要。

ITEMAEさん
正しい。
０．「『Aは、Bより強い。』かつ『Bは、Cより強い。』ならば『Aは、Cより強い。』」
は公理（推移律）であって、前提として扱うことができる。

問題は、０．が公理なのかどうかという点に帰着するように思います。
お二人の意図をきちんと理解できていない場合はご容赦下さい。