15/05/23 14:56:13.94 x93RSwbE.net
>>472
デデキント切断と同様な操作で単拡大を帰納的に繰り返して単調増加な単拡大の列を構成した後、
可算選択公理で可算なハメル基底Hの元を取ることは必要になる。
15/05/23 14:56:13.94 x93RSwbE.net
>>472
デデキント切断と同様な操作で単拡大を帰納的に繰り返して単調増加な単拡大の列を構成した後、
可算選択公理で可算なハメル基底Hの元を取ることは必要になる。
15/05/23 14:56:13.94 x93RSwbE.net
>>472
デデキント切断と同様な操作で単拡大を帰納的に繰り返して単調増加な単拡大の列を構成した後、
可算選択公理で可算なハメル基底Hの元を取ることは必要になる。