恒成立与存在成立问题