存在性问题[1]