>>294
同じ事俺も考えた。
厳密にはN(n+1)の方は1を含まない自然数全体の集合になるから、
Nの真部分集合になる。
>>242が正しいなら、
一般にN自身とNの真部分集合Kとの間に全単射は存在し得ないことになる。
有限では当然の論理。直感的で別に正しくてもいいと思う。