出处：按学科分类—自然科学总论 山东人民出版社《方法大辞典》第66页（221字）
一种极为严格和抽象的符号语言。
有两个构成要素：第一，初始符号，它规定在某个形式语言中，只出现这些符号，不出现其他符号；第二，形成规则。它规定在由初始符号所构成的任意的符号串中，哪些是本语言中的公式，哪些不是。
形式语言中的符号及其所构成的公式，自身不具有任何含义。通过解释，可赋予意义；通过不同的解释，可赋予不同的意义。
(参见《形式化方法》)。