Ladrière : « Le théorème de Gödel et celui de Church ont été retrouvés par Kleene sous forme de corollaires d'un théorème plus général qui porte sur la forme des prédicats dans un système formel »
(Ladrière 1992 [1957] : ix-x).