存在与任意