看来我还是没看懂，白认真看了。：）

数理逻辑是先验知识，因为它是建立在公理之上的？有共识的才是知识，这个明白了。