问题形式化