 Furthermore, as is witnessed by Hilbert’s unpublished Sommer Vorlesung 1905 (see Kahle 2004), Hilbert discovered a remarkable functional version of Russell’s paradox, later to become popular in the context of combinatory logic, lambda calculus and recursion theory. The argument is based on functional self-application and hence direct self-reference.