展开 存在性与任意性问题理解变量