形式系统

对自然语言进行抽象的目的，是为了获得形式系统。 所谓形式系统，就是完全离开我们平常使用语言时，所谈论的事物本身，而专注于我们使用语言形式进行推理时，所遂行的逻辑演算。把这个演算系统用另外的符号表述出来，就构成一个所谓的形式系统