18/12/09 19:53:07.58 Tdx4U760.net
>>510
自明かどうかは個人の感想
問題なのは他の公理との関係
ACは正しいと考えられてたが他の公理から示せそうにないので公理化しただけのはなし
だからpowerも他の公理から示せない以上それを仮定するかしないか考えるのは別にいい、それが公理主義
18/12/09 19:53:07.58 Tdx4U760.net
>>510
自明かどうかは個人の感想
問題なのは他の公理との関係
ACは正しいと考えられてたが他の公理から示せそうにないので公理化しただけのはなし
だからpowerも他の公理から示せない以上それを仮定するかしないか考えるのは別にいい、それが公理主義