16/05/28 16:21:10.45 d3ehqixB.net
>>308
解析は、排中律や選択公理を仮定するのが便利だな。
そうせずに議論すると、例えばバナッハ・タルスキ－のパラドックスのように、
選択公理を仮定すれば証明出来るのに、証明出来ないかも知れないような命題が生じる。
16/05/28 16:21:10.45 d3ehqixB.net
>>308
解析は、排中律や選択公理を仮定するのが便利だな。
そうせずに議論すると、例えばバナッハ・タルスキ－のパラドックスのように、
選択公理を仮定すれば証明出来るのに、証明出来ないかも知れないような命題が生じる。