22/11/06 14:59:55.76 +0wVTm4U.net
>>797
>選択函数をφとしてaを一つの同値類とする。
>「φが存在する」ということと
>「φ(a)の値が入手できる」ということは別だと思う。
φが存在するならφ(a)の値は定まっている。
同じことの言い換えだが、φ(a)の値が定まっていないならφは関数ではないから存在するとは言えない。
尚、φが構成的でないという意味で
>>選択函数をφとしてaを一つの同値類とする。
>>「φが存在する」ということと
>>「φ(a)の値が入手できる」ということは別だと思う。
>そこは誰も否定していないｗ
と述べた。