展开 存在性或任意性问题