>>714
>>715

Aが集合であれば、当然{x|xは集合}を満たすので、集合AにA自身が含まれるでいいんだな?