Hamilton的谓词形式系统中有这样两个公理模式：（（A↓xi）A→A）（其中xi不在A中自由出现）和（（（A↓xi）A（xi）→A（t））（其中项t对A（xi）中的xi是自由的）。在将Ha......