D.Hilbert and W.Ackermann try to give us a decision standard to judge whether a formular of calculau is eternal truth or not.G.

• 摘要希尔拍脱和阿克曼试图导出一个普遍可行的判定标准,判定一联合演算公式是否永真。