Sujet : Re: Replacement of Cardinality
De : python (at) *nospam* invalid.org (Python)
Groupes : sci.logic sci.mathDate : 22. Aug 2024, 12:28:28
Autres entêtes
Organisation : CCCP
Message-ID : <va77ct$blq6$14@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11
User-Agent : Mozilla Thunderbird
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.