首先，注意N中公式与前面章节所述命题形式的区别，它们的定义很类似，但是，N中公式是N的符号库中的符号组成的符号串，而命题形式要广泛的多。另外，命题形式中的命题变项代表着命题，而N公式中的命题符号仅仅是符号，不具有任何含义，从而命题形式代表某种命题，而N中的公式仅仅是符号串，更具体的说，命题变项和命题形式都可取值T或F，但N中命题符号和公式不具有这种属性。可以说，N中的公式是命题形式的又一次抽象。
其次，在定义N的公式的时候，我们用了符号A，B等，这两个符号不在N的符号库中，故不为形式语言中的符号，而是元语言中的符号，它们代表了N中的公式，抽象的说明了N的成分，它们的使用大大方便了形式语言的描述。为了方便，我们以后还会经常在形式语言的描述中使用元语言的符号。
另外，变形规则也是以元语言表述的，"
├A"等都不是形式语言符号，而是元语言符号；代表N中公式的有限集合，├代表"可得到"，A代表N中公式。