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