形式化模型如何增进我们的知识？