Das Systems des oberen Beweises ist dies: F1(c) = F2(c) ..... S ist zu beweisen. F1(1) = F2(1) ist eine anerkannte Regel. Wenn aus dieser & den andern bereits anerkannten Regeln hervorgeht daß einerseits
F1(c + 1) = f(F1(c))
andrerseits F2(c + 1) = f(F2(c)), dann gilt S als bewiesen.