存在性问题