函数中的任意和存在性