数学中的恒成立与有解问题