恒成立存在性问题总结