形式模型,关于形式模型的所有信息