19/04/20 11:42:08.30 LOg2qWQT.net
>>175
数学では
公理は前提とされてれ
点は意味のないものとして無定義語で
点をコップにかえてもリンゴにかえても
前提となる公理系は普遍とだれる
公理的集合論の対の公理の｛ｘ 、ｘ｝＝｛ｘ｝は前提で
集合の元の点をリンゴに換えてもコップに換えても普遍とされてる
だが物理では
リンゴは｛ｘ 、ｘ｝＝｛ｘ｝という法則に従うが
電子は｛ｘ 、ｘ｝≠｛ｘ｝という法則に従うというこｔで
｛ｘ 、ｘ｝＝｛ｘ｝や｛ｘ 、ｘ｝≠｛ｘ｝を物の性質に依存する物理法則とみてる
このへんのことは
数学者にとってはどな意味があるのか？
興味がある