- #1
Figaro
- 103
- 7
Sets which doesn't contain themselves are called normal sets while sets that contain themselves are called abnormal. Let ##N## be a set of all normal sets. Prove that ##N## is normal if and only if ##N## is abnormal.
Proof. ##~~\rightarrow ~~ ## Suppose ##N## is normal such that ##N \not\in N## but since ##N## contains all normal sets, it should include itself since it is a normal set by assumption. Thus ##N \in N##
##\leftarrow~~## The argument is the same as before. QED
Can anyone help me check my proof? Also, is it correct to think that the crucial ingredient/key phrase here is "N contains all the normal sets"?
Proof. ##~~\rightarrow ~~ ## Suppose ##N## is normal such that ##N \not\in N## but since ##N## contains all normal sets, it should include itself since it is a normal set by assumption. Thus ##N \in N##
##\leftarrow~~## The argument is the same as before. QED
Can anyone help me check my proof? Also, is it correct to think that the crucial ingredient/key phrase here is "N contains all the normal sets"?