哥德尔不完备定理
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).