展开 存在性和任意性问题哪一个容易解决