スレタイ箱入り無数目を語る部屋26

[過去ﾛｸﾞ] スレタイ箱入り無数目を語る部屋26 (1002ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

610(1): 2024/11/08(金)09:56 ID:aqum9Ju7(10/21) AAS
>>574
>いくつかの公理から論理的に組み上げられた
箱入り無数目記事の記述のうちZFC公理系から論理的に導出できないものはどれ？

611(1): 2024/11/08(金)10:18 ID:aZsSDOUP(1/8) AAS
>>610
だから、「勝つ戦略」の定義が欠けている。
勝ち負けの定義はさておき。