ゲーデル数 (ゲーデルすう) — Gödel number | Kumi Dictionary