Exercise
https://texercises.com/exercise/russel-paradox/
Question
Solution
Short
Video
\(\LaTeX\)
No explanation / solution video to this exercise has yet been created.

Visit our YouTube-Channel to see solutions to other exercises.
Don't forget to subscribe to our channel, like the videos and leave comments!
Exercise:
mathcalU : the set of all sets. mathcalR : mathcalP | mathcalPin mathcalUquad textandquad mathcalP notin mathcalP or in words the set of all sets that do not contain themselves. i.e. mathcalU in mathcalU. So mathcalU notin mathcalR. bf To be shown: mathcalR in mathcalR iff mathcalR notin mathcalR

Solution:
Proof. If mathcalR in mathcalR then by definition of mathcalR we have mathcalR notin mathcalR. This shows mathcalR in mathcalR Longrightarrow mathcalR notin mathcalR If mathcalR notin mathcalR then by definition mathcalR does contain itself so mathcalR in mathcalR. This shows mathcalR in mathcalR Longleftarrow mathcalR notin mathcalR
Meta Information
\(\LaTeX\)-Code
Exercise:
mathcalU : the set of all sets. mathcalR : mathcalP | mathcalPin mathcalUquad textandquad mathcalP notin mathcalP or in words the set of all sets that do not contain themselves. i.e. mathcalU in mathcalU. So mathcalU notin mathcalR. bf To be shown: mathcalR in mathcalR iff mathcalR notin mathcalR

Solution:
Proof. If mathcalR in mathcalR then by definition of mathcalR we have mathcalR notin mathcalR. This shows mathcalR in mathcalR Longrightarrow mathcalR notin mathcalR If mathcalR notin mathcalR then by definition mathcalR does contain itself so mathcalR in mathcalR. This shows mathcalR in mathcalR Longleftarrow mathcalR notin mathcalR
Contained in these collections:

Attributes & Decorations
Tags
eth, hs22, linalg i, proof, russel paradox
Content image
Difficulty
(1, default)
Points
0 (default)
Language
ENG (English)
Type
Proof
Creator rk
Decoration
File
Link