19/04/20 14:16:09.24 LOg2qWQT.net
>>182
＞{x,x}={x}となることが物の性質に合わないというのなら、
＞すでに使われている{x,x}なんて表記を使わずに別の表記を使えばいいだけだろ
＞表記なんてただの記号列に過ぎないんだから
どんな記号にかえても
その記号が物の性質に依存してしまう事が問題だ
点をリンゴに換えても記号が普遍だけど
点を電子に換えると記号も変わる
というこが問題になると思う
ようするに物の性質に依存する法則て言うには
抽象化された論理法則ではなく
物の性質に依存する物理法則ということだ
公理的集合論の対の公理で｛ｘ 、ｘ｝＝｛ｘ｝は
物の性質に依存しない真の命題として前提になってる
点をリンゴに置き換えても普遍だけど
点を電子に置き換えると偽の命題にあるというｋとは
やはり問題がある