从一道题谈集合中的“存在性”与“恒成立”问题