形式系统一 是用形式化方法对事物及其关系和变 规律进行描述 形式:是事物的内容存在(本质)的外在方式 形状和结构的总和。 形式化:是将事物的内容与形式相分离,用事物 的某种形式来表示事物 式化方法:是在对事物描述形式化的基础上 通过研究事物的形式变化规律来研究事物变化规 律的全体方法的总和 例:自然数及其运算规则的形成 返回形式系统 • 形式系统：是用形式化方法对事物及其关系和变 化规律进行描述的知识体系。 • 形式：是事物的内容存在（本质）的外在方式、 形状和结构的总和。 • 形式化：是将事物的内容与形式相分离，用事物 的某种形式来表示事物。 • 形式化方法：是在对事物描述形式化的基础上， 通过研究事物的形式变化规律来研究事物变化规 律的全体方法的总和。 • 例：自然数及其运算规则的形成。 返回