能成立与恒成立

成立，有解都是能成立的意思，只要没提恒成立或在R上成立都是能成立。

能成立与恒成立的思路正好相反。