15/03/01 15:48:51.22 CQbZyxiT.net
>>274
自明な議論は、スレ主宛てだ。スレ主でも分かるように書いた。
本当は、>>239-240の手法で示せると思うのだがな。
ハメル基底の議論では、有理直線Qは可算無限集合、R＼Qは非可算集合が前提になるが。
15/03/01 15:48:51.22 CQbZyxiT.net
>>274
自明な議論は、スレ主宛てだ。スレ主でも分かるように書いた。
本当は、>>239-240の手法で示せると思うのだがな。
ハメル基底の議論では、有理直線Qは可算無限集合、R＼Qは非可算集合が前提になるが。