这证明了,公式A对于任意的a和b来说,对于c+1来说是成立的.因此,它总是成立的.(参见:Th. A. Skolem,"Begrundung der elementaren Arithmetik durch die rekurrierende Denkweise ohne Anwendung scheinbarer Veranderlichen mit unendlichem Aus-dehnungsbereich",in:Skrifter utgit av Videnskapselskapet i Kristiana 1923,I. Math.-naturw. Kl. Nr. 6,§1.英译文载于:J. van H