そうするとラッセルのパラドックスが生じる様に思えるのですが、どこか定義がまずいのではないですか？