[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋4 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
814: 2022/11/06(日)14:59 ID:+0wVTm4U(23/43) AAS
>>797
>選択函数をφとしてaを一つの同値類とする。
>「φが存在する」ということと
>「φ(a)の値が入手できる」ということは別だと思う。
φが存在するならφ(a)の値は定まっている。
同じことの言い換えだが、φ(a)の値が定まっていないならφは関数ではないから存在するとは言えない。
尚、φが構成的でないという意味で
>>選択函数をφとしてaを一つの同値類とする。
>>「φが存在する」ということと
>>「φ(a)の値が入手できる」ということは別だと思う。
>そこは誰も否定していないｗ
と述べた。
上下前次1-新書関写板覧索設栞歴
あと 188 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.009s