{{…}} は正則性公理に反するのでZF内には存在できません