论，PM的“logicistic”理论有没有“形式主义的语法明确说明”。另一种看法是，在理论上，（在模型论的意义上）解释的真值的符号的行为来表述“⊢”（真理断言），“〜”（逻辑非）和“V”（逻辑或）。真值：PM嵌入“真”和“假”的概念，“原始命题”的概念。原料（纯）形式主义理论所不能提供形成了“原始命题”诚，符号本身可能是绝对武断和陌生的符号的含义。该理论将符号行为也只是如何基于理论的语法指定。再后来，通过“价值”的分配，模式将指定什么公式说的解释。因此，在正式的克莱尼符号下方设置，“解释”什么样的符号