20/02/15 22:49:38 evPrm7Qa.net
＞同値類の族から代表を選ぶとき、必須の代表は、
＞実際に使われる有限の代表に過ぎないから、
＞決定性公理 ADの代用で、Sergiu Hart氏の戦略は実行可能
やっぱ、Set Aって正真正銘の馬鹿だな
いかなる実数無限列も箱の中身に入り得るし
実数無限列の尻尾の同値類の数は非可算無限個だから
非可算決定公理は必要
決定性公理では無理 ほんとSet Aって馬鹿だな
脳味噌ないんじゃね？
20/02/15 22:49:38 evPrm7Qa.net
＞同値類の族から代表を選ぶとき、必須の代表は、
＞実際に使われる有限の代表に過ぎないから、
＞決定性公理 ADの代用で、Sergiu Hart氏の戦略は実行可能
やっぱ、Set Aって正真正銘の馬鹿だな
いかなる実数無限列も箱の中身に入り得るし
実数無限列の尻尾の同値類の数は非可算無限個だから
非可算決定公理は必要
決定性公理では無理 ほんとSet Aって馬鹿だな
脳味噌ないんじゃね？