2.2.2 形式化问题