概念記法
関係の祖先の最初の定式化(第3章§23- 系列の一般理論)。後述「祖先関係」。
モドゥス・ポネンスは我々が ⊢ A → B {\displaystyle \vdash A\to B} と ⊢ A {\displaystyle \vdash A} から ⊢ B {\displaystyle \vdash B} を推論することを 可能にする,
全称汎化は,Pの中にxが現れなければ,我々が ⊢ P → A ( x ) {\displaystyle \vdash P\to A(x)} から ⊢ P → ∀ x : A ( x ) {\displaystyle \vdash P\rightarrow \forall x:A(x)} を推論することを可能にする,
フレーゲが明示的に述べない代入の規則。 この規則は,はっきり正確に述べるのが前の2つの規則よりはるかに難しく,フレーゲは明らかには正当でない方法でそれを実施する。