Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com>
Newsgroups: sci.math
Subject: Re: The set of necessary FISONs
Date: Wed, 5 Mar 2025 15:09:14 -0800
Organization: A noiseless patient Spider
Lines: 18
Message-ID: <vqalir$2kmfo$1@dont-email.me>
References: <vmo1bs$1rnl$1@dont-email.me> <vpruld$3jg6j$1@dont-email.me>
 <4b45ff34-dc3f-4e32-90a3-237f78fbd321@att.net> <vpsqb1$3mn6v$5@dont-email.me>
 <4ed4b6dc-de9b-46f7-b2f8-484557d89281@att.net> <vpuvsk$721h$2@dont-email.me>
 <7ac03d2e-5d72-4186-8b33-6fdddb7b83ff@att.net> <vpvjks$asqp$2@dont-email.me>
 <cd2a1798-4145-4127-a71c-95462cffd034@att.net> <vq19hl$nima$1@dont-email.me>
 <7ccdd4c7-d15e-417f-9b85-6f9a790d7d44@att.net> <vq29d4$sef9$2@dont-email.me>
 <db6fba32-612d-4a80-9b42-8c21e9384194@att.net> <vq3qub$18347$3@dont-email.me>
 <a5a5e4ab-605a-4433-89d7-38703c35cbb6@att.net> <vq58iu$1ftht$1@dont-email.me>
 <d56e87ef-bdf0-445d-acde-7ae362fffe31@att.net> <vq6lsb$1r4gi$1@dont-email.me>
 <8e7b322e-1259-4563-b2d5-37983249a397@att.net> <vq7lt1$1uvhg$2@dont-email.me>
 <4ae7b6d4-49a9-47ba-b2ac-c77238e93545@att.net> <vq953u$2bkek$1@dont-email.me>
 <b27c5730-4064-4342-aa68-ca4db75fad85@att.net> <vqafli$134ns$1@solani.org>
 <vqagd4$2jj22$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Thu, 06 Mar 2025 00:09:16 +0100 (CET)
Injection-Info: dont-email.me; posting-host="0bfa61eff79695d6e62178a3c15e5bb3";
	logging-data="2775544"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1801crHkye30VvaXya4EL5GF43s2zl3qz4="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:ig+FWin0GgFRQXQ4Q1OIRZ9BNsM=
In-Reply-To: <vqagd4$2jj22$1@dont-email.me>
Content-Language: en-US
Bytes: 2327

On 3/5/2025 1:40 PM, Moebius wrote:
> Am 05.03.2025 um 22:28 schrieb WM:
> 
>> F = {F(1), F(2), ..., F(n), ...}
> 
> with F(n) := {m e IN : m <= n} (n e IN).
> 
>> UF = {1, 2, 3, ...}

WM says I only see 1, 2 and 3 when I look at { 1, 2, 3, ... }. Therefore 
it must be finite...


> 
> Exactly! Schön, dass Du das nun endlich erkennst, Mückenheim.
> 
>