- 512 名前：現代数学の系譜 雑談 [2020/08/22(土) 14:10:28.12 ID:qg6YAvVW.net]
- >>461
つづき
元々のΘリンクの定義における「∧」は、一致するとは限らない整数 A と B を用いたからこそ、整合性（＝「無矛盾性」）をもって定義することができました。これは先ほどの「Xの誕生日...」∧「Yの誕生日...」と全く同じ現象です。元々のΘリンクの定義が「∧」によるものであるこそ、その肝心な「∧」性を壊さないような操作によって行なわれる「マルチラディアル表示」の構成は「∧」性を引き継ぐことになります。また「マルチラディアル表示」において「∧」性が成立しているからこそ、議論の最終的な結論となる「A<3」という不等式が簡単に、形式的に従ってしまうのです。
一方で、（ここから先が、先ほどの喩えの「2+2=9」に対応する「大元誤解」の内容になりますが）例えば、
