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