Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: FromTheRafters <FTR@nomail.afraid.org>
Newsgroups: sci.math
Subject: Re: The set of necessary FISONs
Date: Sat, 22 Feb 2025 06:26:55 -0500
Organization: Peripheral Visions
Lines: 15
Message-ID: <vpcca6$3tufs$1@dont-email.me>
References: <vmo1bs$1rnl$1@dont-email.me>   <vopv2h$s46$2@dont-email.me> <340761ab1ceb68741d949331a0c64a3d6d5fa237@i2pn2.org> <vosf9f$hjfh$4@dont-email.me> <f85884a59c9301bfc9d6a66fa935b74dc080ff24@i2pn2.org> <vot40r$lfa0$2@dont-email.me> <865ffa4c4c1091981c5b3b93ddf3dba690cd5ad2@i2pn2.org> <vp02g2$188u2$7@dont-email.me> <559d228c01ea290aec13e735ec85036862578165@i2pn2.org> <vp1lap$1l5b9$1@dont-email.me> <5220af0cb7d579f20d58809659d8dcb8d7ba046c@i2pn2.org> <vp28k5$1o28v$4@dont-email.me> <685c1274-e22f-409d-b39c-c3a5430c2f57@att.net> <vp528n$2bale$1@dont-email.me> <69f56ce0-08a2-4614-b102-e333175c643d@att.net> <vp6rg8$2o8sd$7@dont-email.me> <9a88665f-211f-4260-b585-97c72c7b6d1b@att.net> <vp7qea$2tofq$5@dont-email.me> <8bed122d8b355eff96158e6f5cb76cffcc42925c@i2pn2.org> <vp9hl1$3afuk$6@dont-email.me> <7a26856916099747e76314a2b4c79693e14426fd@i2pn2.org> <vpacfc$3fush$1@dont-email.me> <b3d7070e-1381-41e3-9ace-0f21bc052d0b@att.net> <vpc885$3t9g8$1@dont-email.me>
Reply-To: erratic.howard@gmail.com
MIME-Version: 1.0
Content-Type: text/plain; charset="utf-8"; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 22 Feb 2025 12:27:03 +0100 (CET)
Injection-Info: dont-email.me; posting-host="7c26a6f785c58bda4533875532e14e1b";
	logging-data="4127228"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18S8OCjz88pIJb0wWlDdfD9vc0LoPx9UN4="
Cancel-Lock: sha1:VdAaD9Ox98Rgu0PPp+1FWLSlFGM=
X-ICQ: 1701145376
X-Newsreader: MesNews/1.08.06.00-gb

WM wrote :
> On 21.02.2025 20:40, Jim Burns wrote:
>
>> However,
>> all sets Z which satisfy Infinityᶻᶠᶜ
>> HAVE A SUBSET which
>> is usable in a proof.by.inductionᶻᶠᶜ
>
> Zermelo calls that set Z_0 or set of numbers. We can remove all numbers from 
> Z_0 and produce the empty set.
>
> Homework: Show the same for the set of FISONs.

You mean "natural numbers" here I suspect. FISONs are, in effect, 
identified with those "natural numbers".