求解任意性问题与存在性问题