8 Dies wird sehr überzeugend dargelegt in Alonzo Church: Introduction to Mathematical Logic. Volume I, Princeton, New Jersey: 1956, 61970 (=Princeton Mathematical Series 17), Chapter 0, Seite 25 ff.