ZF에선 aㅌbㅌa 또는 aㅌa를 만족하는 a는 존재하지않음. axiom of foundation이 없으면 저런 집합 존재해도 consistent
러셀의 역설이라고 찾아보세요
저것 만으로는 가지는지 안 가지는 지 모름.
이새끼 트리바임
ZF에선 aㅌbㅌa 또는 aㅌa를 만족하는 a는 존재하지않음. axiom of foundation이 없으면 저런 집합 존재해도 consistent
러셀의 역설이라고 찾아보세요
저것 만으로는 가지는지 안 가지는 지 모름.
이새끼 트리바임