Path: ...!weretis.net!feeder9.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: joes <noreply@example.org>
Newsgroups: sci.math
Subject: Re: The set of necessary FISONs
Date: Mon, 3 Mar 2025 19:47:43 -0000 (UTC)
Organization: i2pn2 (i2pn.org)
Message-ID: <edaebe4e2a0adf2cb1530dd95ba098a2c7d7d174@i2pn2.org>
References: <vmo1bs$1rnl$1@dont-email.me> <vpi1g6$14ivq$7@dont-email.me>
	<c658f0ca1b716eb4d123389266476f35abcc367a@i2pn2.org>
	<vpk0vs$1s2ld$1@dont-email.me>
	<fce30f5e64c402934fa457a67f1d9559a89ec74d@i2pn2.org>
	<vpk42o$1siqa$2@dont-email.me>
	<c4e441d0339bbcf17714a6c8c517304df7ce802c@i2pn2.org>
	<vpkjf1$2025c$3@dont-email.me>
	<d05673e8740751d8cbf6bce1f5390e3c5479b7e4@i2pn2.org>
	<vpmvn3$2i1ev$2@dont-email.me>
	<ca2abaa2984854d6c165f77f9daa8ebe77a87e00@i2pn2.org>
	<vppg83$3280b$2@dont-email.me>
	<4bce9826fcd4c68b4785aabc83de9394eae61402@i2pn2.org>
	<vpsp51$3mn6v$4@dont-email.me>
	<2a62cfa0db610ef9bb26903f8e9417e96e1bfa57@i2pn2.org>
	<vpv5oq$8kkq$1@dont-email.me>
	<da74adefdbd3896d2d22b4b3e306514eff3e91a9@i2pn2.org>
	<vpvigl$8kkr$3@dont-email.me>
	<4a9f36181152eb4df4a819f7abcdaae5de1f3d09@i2pn2.org>
	<vq25q8$sef9$1@dont-email.me>
	<5ce95a2f51d41e6d0f8d88635f2dcf1108d79f19@i2pn2.org>
	<vq3qcg$185rq$1@dont-email.me>
	<6617ea3ee1afb665fd59e25dbaa6c7944b960b26@i2pn2.org>
	<vq4mdh$10e3n$3@solani.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 3 Mar 2025 19:47:43 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="2683058"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="nS1KMHaUuWOnF/ukOJzx6Ssd8y16q9UPs1GZ+I3D0CM";
User-Agent: Pan/0.145 (Duplicitous mercenary valetism; d7e168a
 git.gnome.org/pan2)
X-Spam-Checker-Version: SpamAssassin 4.0.0
Bytes: 3299
Lines: 31

Am Mon, 03 Mar 2025 17:46:43 +0100 schrieb WM:
> On 03.03.2025 12:58, joes wrote:
>> Am Mon, 03 Mar 2025 09:48:16 +0100 schrieb WM:

>>>> Ah no, you're shifting the quantifier there.
>>> That is allowed if Zermelo can do it.
>> He can't.
> But it has been accepted that with all defined elements the set is
> defined.
No, the set is not contained in itself.

>>> By induction Zermelo produces the set. Quantifier shift, obviously
>>> allowed by Zermelo. There is no other way to construct an infinite
>>> set.
>> A quantifier shift is never a valid deduction (even though the
>> resultant sentence may be true otherwise).
> Zermelo has no other deduction. The set is constructed by its elements.
Zermelo doesn't even need to shift quantifiers.

>>>> The set of sets of FISONs that can be removed together does not
>>>> contain the set of all FISONs (although it does contain the infinite
>>>> sets of the odd or even FISONs).
>>> In exactly the same way as Z₀ is constructed by its elements, the set
>>> of removable FISONs is constructed by its elements.
>> And in the same way Z_0 doesn't contain the set of all elements.
> Of course not. It is the set of all elements.
And the set of removable sets of FISONs is just that and doesn't contain
the set of all FISONs (it contains every finite set of them).

-- 
Am Sat, 20 Jul 2024 12:35:31 +0000 schrieb WM in sci.math:
It is not guaranteed that n+1 exists for every n.