25/10/10 08:15:49.76 lg1dSZu9.net
>>33
>”無限公理なし”と”無限公理を否定する”の二つの場合は、
>無限集合を構成できず
>冪P(N)=2^N で、連続濃度集合Rも構成できず
構成できないから存在しない、とは言えないんだけど
工学部卒には、そこ、わかんないかな？
”無限公理を否定する”と
ωは存在してはいけないことになるから
存在しない
”無限公理なし”の場合はωの存在自体は禁止されない
must notとmay notの違いね 分かる？
25/10/10 08:15:49.76 lg1dSZu9.net
>>33
>”無限公理なし”と”無限公理を否定する”の二つの場合は、
>無限集合を構成できず
>冪P(N)=2^N で、連続濃度集合Rも構成できず
構成できないから存在しない、とは言えないんだけど
工学部卒には、そこ、わかんないかな？
”無限公理を否定する”と
ωは存在してはいけないことになるから
存在しない
”無限公理なし”の場合はωの存在自体は禁止されない
must notとmay notの違いね 分かる？