- 395 名前：１３２人目の素数さん [2022/04/17(日) 17:54:41.44 .net]
- >>375
＞そしてそれが今回の件にどう関わってるのかもわからんやろ？
もしかしてIUTで
「ｘとｙが等しく、ｘで性質Ｐが成り立つけど、ｙで性質Ｐは成り立たない」
という推論を使ってるといってる？
もし、そうだとして、それはどこ？
それこそ、IUTの欠陥の証拠だから今ここで示したら君、英雄になれるよ
ついでにいうと
「ｘとｙは同値で、ｘで性質Ｐが成り立つけど、ｙで性質Ｐは成り立たない」
という命題なら、性質Ｐは同値関係とは整合しないというだけのこと
もちろん、そういう場合は多々ある
ただ、ショルツが問題にしてるのは
「同値だけど違うなら違うでいいけど、
何がどう違うか定義してる？
全然定義してないよね？
できる？できないんじゃね？」
ってことかと思うが
