この計算には,量化された変数という概念が初めて導入され,また,高度に特異的な2次元表記法で表示されているとはいえ,同一性を持った本質的に古典的な2値の二階論理である：結合子と限量子は,今日使用される￢,∧,∀ではなく,式をつなぐ線を用いて書かれる。
演算介入了量词，因而本质上是经典的谓词逻辑，尽管使用了一种特异的二维记号（notation）：连结词和量词使用连接公式的线条来书写，而不是今天使用的符号（symbol）¬、∧、∀。