ゲーデル数
Gödel number
;
Gödel numbering
クルト・ゲーデル（Kurt Gödel）
ゲーデルの不完全性定理
レーヴェンハイム-スコーレムの定理
ゲーデル数 - Wikipedia