Path: g2news1.google.com!postnews.google.com!v11g2000prb.googlegroups.com!not-for-mail
From: MoeBlee <jazzm...@hotmail.com>
Newsgroups: sci.logic,sci.math,comp.theory,sci.physics,alt.psychology.personality
Subject: Re: A Guide for Cantor Cranks
Date: Fri, 11 Mar 2011 08:32:20 -0800 (PST)
Organization: http://groups.google.com
Lines: 10
Message-ID: <f4de225f-3b02-475f-973a-853e09a58e98@v11g2000prb.googlegroups.com>
References: <40e69d0c-eb77-4308-996e-c7dfc1a0ec1e@j13g2000pro.googlegroups.com>
 <see-74AC67.21201810032011@mx01.eternal-september.org> <5916f49f-1dbb-4c95-a4cf-6689a7948d96@q40g2000prh.googlegroups.com>
NNTP-Posting-Host: 74.202.255.133
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
X-Trace: posting.google.com 1299861140 15279 127.0.0.1 (11 Mar 2011 16:32:20 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Fri, 11 Mar 2011 16:32:20 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: v11g2000prb.googlegroups.com; posting-host=74.202.255.133; posting-account=EL3hgwoAAABtyRFrR2z7EBO1tnJeMiO7
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/4.0 (compatible; MSIE 8.0; Windows NT 5.1;
 Trident/4.0; .NET CLR 2.0.50727; .NET CLR 3.0.04506.648; .NET CLR 3.5.21022;
 MS-RTC LM 8; .NET CLR 1.1.4322; .NET CLR 3.0.4506.2152; .NET CLR 3.5.30729; InfoPath.2),gzip(gfe)

On Mar 10, 9:53=A0pm, RussellE <reaste...@gmail.com> wrote:

> Induction assumes
> there is a set of all natural numbers.

There is induction on finite ordinals even if there is not a set of
all the finite ordinals (natural numbers). See, e.g., Suppes
'Axiomatic Set Theory'.

MoeBlee