1+1の答えはなぜ2なのか？

>>29
Aが無限集合⇔単射だが全射でない f:A→A が存在する。は定義なので
みとめてもらって xをAの元でf(A)の元でないのをとる。g:N→A を
g(n)=f^n(x) と定めると g は単射。g の像をとりだせばそれは
可算無限。選択公理も必要無し。