In article <email@example.com>, WM <firstname.lastname@example.org> wrote:
> You can prove something for all natural numbers, but not for a larger > set.
You can prove that the set of naturals can be injected into a proper subset of itself. n --> n+1 is such an injection. Any set of objects with this property (of being injectable to a proper subset of itself) is by definition actually infinite. --