Date: Jan 30, 2013 4:13 AM
Author: Virgil
Subject: Re: Matheology � 203

In article 
<b79952f1-a65c-4b62-9cb4-5a358b78b985@4g2000yqv.googlegroups.com>,
WM <mueckenh@rz.fh-augsburg.de> 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.
--