22/10/17 23:19:55.55 RYhCayMB.net
>>814
・ 時枝記事そのものについては、選択公理は必要(>>806-807)。
・ ただし、時枝記事と同等の戦術を、選択公理を使わない形で実行できるようにすることは可能(>>581-583)。
・ いずれの設定でも、回答者の勝率は 99/100 以上。
22/10/17 23:19:55.55 RYhCayMB.net
>>814
・ 時枝記事そのものについては、選択公理は必要(>>806-807)。
・ ただし、時枝記事と同等の戦術を、選択公理を使わない形で実行できるようにすることは可能(>>581-583)。
・ いずれの設定でも、回答者の勝率は 99/100 以上。