论上，（在模型论的意义上）解释的真值的符号的行为来表述“⊢”（真理断言），“〜”（逻辑非）和“V”（逻辑或）。真值：PM嵌入“真”和“假”的概念，“原始命题”的概念。原料（纯）形式主义理论所不能提供形成了“原始命题”诚，符号本身可能是绝对武断和陌生的符号的含义。该理论将符号行为也只是如何基于理论的语法指定。再后来，通过“价值”的分配，模式将指定什么公式说的解释。因此，在正式的克莱尼符号下方设置，“解释”什么样的符号通常是指，并暗示他们如何最终被采用，在括号内，例如，“¬（不）”。但是，这不是一个纯粹的形