• 其他词汇： 形式蕴涵 形式语义 形式验证 正式验证

• 更多词汇： 形式文法 形式环 形式的 形式幂级数