存在性与恒成立问题