11/06/10 02:01:39.58
>>705
まさに、
＞ブール値函数を割り当てる程度のこと
という意味の意味論ですが。
対象領域が有限のときはいいとしても、
対象領域が無限のときにどうするんだ？という疑問だが。
ためしに、デデキント実数論の解釈を与えてみてほしい。
11/06/10 02:01:39.58
>>705
まさに、
＞ブール値函数を割り当てる程度のこと
という意味の意味論ですが。
対象領域が有限のときはいいとしても、
対象領域が無限のときにどうするんだ？という疑問だが。
ためしに、デデキント実数論の解釈を与えてみてほしい。