摘要:

本文证明二阶弗协调概括公理与弗雷格的公理V的足道性（Non-Triiality）。弗雷格从他的《算术基本规律》推出皮亚诺算术公理的过程可以分为两个步骤：（1）从公理V到休谟原则；（2）从休谟原则到算术公理。本文表明，如果把等数关系看做初始符号，则可以通过弗协调推理从公理V推出休谟原则。本文还表明，如果可以从弗协调推理转变到经典推理，则可以重构出弗雷格定理的证明过程。