Gödel's incompleteness theorems
The "β" function was introduced without the name in the proof of the first of Gödel's incompleteness theorems (Gödel 1931). The "β" function lemma given below is an essential step of that proof. Gödel gave the "β" function its name in (Gödel 1934).