noun
Gödel number
A unique natural number assigned to each symbol, formula, or proof in a formal system, used in mathematical logic and the proof of Gödel's incompleteness theorems.
ゲーデル数は不完全性定理の証明で重要な役割を果たす。
Gödel numbers play an important role in the proof of the incompleteness theorems.
From the mathematician Kurt Gödel (ゲーデル) + 数 (number).