20/03/07 09:41:02 xPEUMHOu.net
>>345
＞最後の自然数が存在しないのに、
＞何で自然数全体の集合が存在するのか
無限公理を設定したから
＞以前、そんなものは存在しないと説明してやったのに
正しくは
「集合論の他の公理から、無限集合の存在を
定理として証明することはできない」
だろう
だからといって
「無限集合の存在を公理として設定したら矛盾する」
とはいえない
＞アキレスと亀の話が知りたければ僕の本を読め
●違いの本を買う金がもったいない
20/03/07 09:41:02 xPEUMHOu.net
>>345
＞最後の自然数が存在しないのに、
＞何で自然数全体の集合が存在するのか
無限公理を設定したから
＞以前、そんなものは存在しないと説明してやったのに
正しくは
「集合論の他の公理から、無限集合の存在を
定理として証明することはできない」
だろう
だからといって
「無限集合の存在を公理として設定したら矛盾する」
とはいえない
＞アキレスと亀の話が知りたければ僕の本を読め
●違いの本を買う金がもったいない