- 310 名前：１３２人目の素数さん [2019/04/22(月) 16:18:08.25 ID:jO4dRJrF.net]
- >>296それが恒真かなんてモデルによりますよね
外延期性の公理｛ｘ 、 ｘ｝＝｛ｘ｝は
｛リンゴ、リンゴ｝＝｛リンゴ｝の場合は真の命題
（同一なリンゴは１個しかない 同一なら１個）
外延期性の公理｛ｘ 、ｘ｝＝｛ｘ｝は
｛電子、 電子｝＝｛電子｝の場合は偽の命題
（同一な電子が２個ある）
これは公理的集合論が
リンゴのモデルにはなるが
電子のモデルにはならない事をしめしてる
ようするに
公理集合論の｛ｘ 、ｘ｝＝｛ｘ｝は
物の性質に依存する物理法則ということ
