14/02/15 13:30:57.47
もう数学の話じゃないからこのレスまでにするけど、
「4-2」と「1以上の最小の素数」は内包的なsense（日本語では意義と訳す）は違うけど
述語論理の教科書に出て来る普通のTarski的な意味論を考えたら
その解釈は同じになる。意味論的に同じだということは、その意味は同じだと言っていることになる。
そもそも外延的意味と内包的意義では外延的な意味の方が数学的には扱いやすく、
Fregeがこういう区別を持ちこんで外延的意味の方を主に扱ったから
現代的な記号論理学が発達した訳で、その結果として数理論理学が発達した訳で、
外延的な意味なんか余計な哲学的問題だ！とは言いにくいと思う。