展开 存在性和任意性问题