[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋27(あほ二人の”アナグマの姿焼き”ｗ) (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
605(1): 2024/11/25(月)13:23 ID:XwBl/H3w(1/2) AAS
>>604
> AC 選択公理で保証されるのは、存在まで 存在は言えるのだが・・
存在が云えれば、そのうちの1つに”固定”できる
述語論理の初歩 自然演繹でもシークエント計算でも同じ
知らん奴はド素人
606: 2024/11/25(月)13:24 ID:XwBl/H3w(2/2) AAS
>>604
>「どんな関数か？」と問われても AC 選択公理 は、それにこたえる すべを持たない
関数を１つ固定するのに、どんな関数か答える必要はない
実数を整列するのに必要な選択関数がどんなものか具体的に答える必要はない
知らん奴はド素人
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 2.036s*