16/06/19 11:16:46.91 suG/dCz5.net
>>40 訂正
そして、ZFC公理系の中には無限を扱うことが公理として組み込まれているから、このように扱ったからと言って、直ちに「(2)有限の極限として間接に扱う」という主張は成り立たないと考える
↓
そして、ZFC公理系の中には無限を扱うことが公理として組み込まれているから、このように扱ったからと言って、直ちに「(1)無限を直接扱う」を否定したことにはならないと考える
16/06/19 11:16:46.91 suG/dCz5.net
>>40 訂正
そして、ZFC公理系の中には無限を扱うことが公理として組み込まれているから、このように扱ったからと言って、直ちに「(2)有限の極限として間接に扱う」という主張は成り立たないと考える
↓
そして、ZFC公理系の中には無限を扱うことが公理として組み込まれているから、このように扱ったからと言って、直ちに「(1)無限を直接扱う」を否定したことにはならないと考える