Liste des Groupes | Revenir à s logic |
On Wed, 21 Aug 2024 07:37:50 -0500, in article <va4n2u$3s0hu$3@dont-email.me>,Not in ZFC where no set con be a member of itself,
olcott wrote:On 8/21/2024 3:54 AM, Mikko wrote:[...]On 2024-08-20 13:59:42 +0000, olcott said:
>On 8/20/2024 5:21 AM, Mikko wrote:
Oh, you blithering imbecile! The universal set V is, by definition,>>Set theories with an unversal set need to restrict>
the construction operations more than what is usually considered
reasonable.
I don't see how. The set of all sets that do not contain
themselves simply becomes the set of all sets.
The set of all sets that do not contain themselves is the Russell set
that revealied the inconsistency of the naive set theory. The main
improvment in ZF was the non-existence of this set.
So basically you agreed with me on everything.
an element of itself.
Les messages affichés proviennent d'usenet.