形式结构,关于形式结构的所有信息