22/12/03 10:03:56.80 p35G8Xyi.net
>>82
＞必要な代表は現時点では100個で有限だ
＞だから、アシスタントを使えば、
＞”有限集合の族に対する選択公理”さえあれば、
＞同じ結論は導けるよ
有限集合の族に対する選択は可能なので、そんな公理は要らんｗ
＞つまり、選択公理を使わない等価な便法が存在するってことよ
「じゃ、代表の選択は実行不可だから、箱入り無数目はマチガッテル！」は無意味
はい、1、自爆ｗ
22/12/03 10:03:56.80 p35G8Xyi.net
>>82
＞必要な代表は現時点では100個で有限だ
＞だから、アシスタントを使えば、
＞”有限集合の族に対する選択公理”さえあれば、
＞同じ結論は導けるよ
有限集合の族に対する選択は可能なので、そんな公理は要らんｗ
＞つまり、選択公理を使わない等価な便法が存在するってことよ
「じゃ、代表の選択は実行不可だから、箱入り無数目はマチガッテル！」は無意味
はい、1、自爆ｗ