函数中存在性和任意性问题分类解析.