In order to simplify the procedure we use the functions as predefined `lambda abstractions' and assume as well the availability of all natural numbers as values. To make these definitions in the Lambda Calculus would not be difficult, but it would certainly distract from our present topic.

Georg P. Loczewski 2004-03-05