存在与恒成立