存在性问题与恒成立问题