13/10/27 23:18:41.99
>>410
エドワードネルソンがペアノ算術は矛盾する、という論文を発表して、すぐ取り下げていたね。
彼曰く、「65536個の要素からなる集合は存在するが、そのベキ集合は存在しない」
13/10/27 23:18:41.99
>>410
エドワードネルソンがペアノ算術は矛盾する、という論文を発表して、すぐ取り下げていたね。
彼曰く、「65536個の要素からなる集合は存在するが、そのベキ集合は存在しない」
13/10/27 23:18:41.99
>>410
エドワードネルソンがペアノ算術は矛盾する、という論文を発表して、すぐ取り下げていたね。
彼曰く、「65536個の要素からなる集合は存在するが、そのベキ集合は存在しない」