论文部分内容阅读
Hamilton的谓词形式系统中有这样两个公理模式：（（A↓xi）A→A）（其中xi不在A中自由出现）和（（（A↓xi）A（xi）→A（t））（其中项t对A（xi）中的xi是自由的）。在将Hamilton的谓词形式系统与Church，Hunter，Mendelson等人的系统进行比较之后，分析了Hamilton将（（A↓xi）A→A）（其中xi不在A中自由出现）作为一个公理模式的原因，并得出结论认为，在Hamilton的谓词形式系统中公理模式（（A↓xi）A→A）（其中xi不在A中自由出现）完全可以归结为