[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋4 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
802: 2022/11/06(日)14:05 ID:+0wVTm4U(17/43) AAS
>>795
>＞選択公理が存在することと、選択を実現するアルゴリズムが存在することとは別です
に対して
>お主、基礎論弱いなｗ
>・「アルゴリズムが存在する」は、構成主義（下記）じゃなかったかな？
>・実数の構成では、一般的に 構成主義⊂ZFCじゃね？
が何の反論にもなってなくて草
基礎論以前に言葉が分からないサルｗ
上下前次1-新書関写板覧索設栞歴
あと 200 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.022s