16/08/11 22:20:41.65 AONA9sxo.net
>>743
おれも同じだ
>>190 URLﾘﾝｸ(fuchino.ddo.jp) 第I部 構成的集合と公理的集合論入門 渕野 昌 2015
に
「選択公理のオルタナティヴと考えられる決定性公理の成り立つ世界」とあるだろ？
決定性公理が可算集合しか扱えない非力なものなら、選択公理のオルタナティヴになるはずもない
Tさんが、選択公理を離れて一歩踏み出したことは評価するが、これ以上は無理だろう
お引き取り願いたい
16/08/11 22:20:41.65 AONA9sxo.net
>>743
おれも同じだ
>>190 URLﾘﾝｸ(fuchino.ddo.jp) 第I部 構成的集合と公理的集合論入門 渕野 昌 2015
に
「選択公理のオルタナティヴと考えられる決定性公理の成り立つ世界」とあるだろ？
決定性公理が可算集合しか扱えない非力なものなら、選択公理のオルタナティヴになるはずもない
Tさんが、選択公理を離れて一歩踏み出したことは評価するが、これ以上は無理だろう
お引き取り願いたい