Awesome q2a theme
0 votes
Consider the following sets:

S1 = {S | S is a set such that S ∉ S}

S2 = {S | S is a set}

Do S1 & S2 exist?

The answer is both do not exist. I do not understand why so? S ∉ S is always true as {A} ∉ {A} so S1 can have elements and sets can exist as elements in a set, so why does S2 doesn’t exists either?
in Set Theory & Algebra by (7 points) | 20 views

1 Answer

+1 vote
Best answer

Bigger question is whether S1 is in S1 or not? That’s a classical paradox.

You can read more about it here :  Russell’s paradox.

That’s why such S1 does not exists.

Same way, S2 is a never ending loop, as S2 is a set, then S2 must contain itself, the new S2 must contain itself.. this goes on forever and you can never contain S2 inside S2.

by (219 points)
selected by
Quick search syntax
tags tag:apple
author user:martin
title title:apple
content content:apple
exclude -tag:apple
force match +apple
views views:100
score score:10
answers answers:2
is accepted isaccepted:true
is closed isclosed:true
Welcome to GATE CSE Doubts, where you can ask questions and receive answers from other members of the community.
9,270 questions
3,204 answers
96,304 users