Path: ...!weretis.net!feeder8.news.weretis.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Python <python@invalid.org>
Newsgroups: sci.logic,sci.math
Subject: Re: Replacement of Cardinality
Date: Thu, 22 Aug 2024 13:28:28 +0200
Organization: CCCP
Lines: 11
Message-ID: <va77ct$blq6$14@dont-email.me>
References: <hsRF8g6ZiIZRPFaWbZaL2jR1IiU@jntp>
 <c4bbc4d3-26b3-4e53-9c82-87c8396d155d@att.net>
 <UxK9-w52mbKHJ77U1V4M6I24HeY@jntp>
 <c8abcebe-b826-45de-8507-71521bf2d6a7@att.net> <v9vune$2unef$1@dont-email.me>
 <b476ed29-d093-47ac-b16d-a64ee620e79b@att.net>
 <J3NuQSpglS65L-_3eT5X2z97Eqg@jntp>
 <b660a922-3af8-4224-9c66-a750f48ec63b@att.net>
 <U8YVSGphNHvTenas6IC_7SR22wU@jntp>
 <c932d780-b3ea-499f-b59f-c0fe2e0b7552@att.net>
 <bujhfRmCrhbrenSju9nN_R0bHhY@jntp>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Thu, 22 Aug 2024 13:28:29 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="a80aacc4ae37788401d9379408ff4893";
	logging-data="382790"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18FCHihTemjwmqfeTqiBpM8"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:oIhXKLJihzBQs4EBjIyFbAfFMsM=
In-Reply-To: <bujhfRmCrhbrenSju9nN_R0bHhY@jntp>
Content-Language: en-US
Bytes: 1768

Le 22/08/2024 à 13:17, Crank Wolfgang Mückenheim a écrit :
....
> There is no set ℕᵈᵉᶠ because of lacking completeness. Sets of set theory 
> are complete.

We know, in mückenmath sets are so complete that you can remove one
of their members without changing them. Like in e \in S and S \ {e} = S
as you claimed numerous times.