21/02/28 09:25:14.12 ba03IeOv.net
>>733
>>自然数が無限個存在する
>>自然数が限り無く存在する
>この二つの文章の意味は違いますよ
前者「自然数全体からなる（無限）集合が存在する」
後者「自然数全体は（有限）集合とはならない」
前者から後者は導けるが、後者から前者は導けない
要するに、安達は有限集合論者
21/02/28 09:25:14.12 ba03IeOv.net
>>733
>>自然数が無限個存在する
>>自然数が限り無く存在する
>この二つの文章の意味は違いますよ
前者「自然数全体からなる（無限）集合が存在する」
後者「自然数全体は（有限）集合とはならない」
前者から後者は導けるが、後者から前者は導けない
要するに、安達は有限集合論者