...reflective^9.1

The word reflection is used in the philosophical sense, meaning ``to think seriously''.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

...BlueJ^9.2

Available at http://www.bluej.org

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... language.^11.1

However, this idea was actually proposed by another logician called Schönfinkel.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

....^12.1

Notice that the projection functions are actually form an infinite family, one for each choice of $k$ and $i \in \{1,2,\ldots,k\}$.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

....^12.2

Technically, we have to be a bit more careful here. Since we are dealing only with functions over $\mathbb{N}$, $m{-n}$ would be defined to be 0 if $m < n$, so we have to modify the definition of $g(k,n)$ appropriately to take care of this.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.