导和证明时的初始状态，它可以是作为出发点的基本公理，也可以是作为出发点的基本概念，或者是由基本概念衍生出的具体对象。利用规则P从S开始的推导或证明过程则对应于公理体系中的证明和演绎过程，而所得到的结果，则对应于经过证明的定理。由此可见，实体语法系统体现了数学公理化方法的基本特征。除此之外，实体语法系统还包含了具有一般意义的数学结构。在结构数学中，给集合M赋予了结构S，则形成具有一般意义的数学结构(M, S)。结构数学就是研究这些抽象数学结构的科学。在实体语法系统中，V则是一个基本集合，而F则是赋予V的结构，