Last Updated：2025/12/05

(logic) A function assigning a Gödel number to each well-formed formula of some formal language.

音声機能が動作しない場合はこちらをご確認ください

See correct answer

Gödel numbering

Source Word

Gödel numbering

(logic) A function assigning a Gödel number to each well-formed formula of some formal language.

Japanese Meaning

形式言語の各正則な式（well-formed formula）に一意のゴーデル番号を割り当てるための関数。

教科書では、形式言語の各文法的に正しい式に一意の自然数を割り当てる関数（ゲーデル数付け）が導入されている。

Sense（1）

(logic) A function assigning a Gödel number to each well-formed formula of some formal language.

Gödel numberings

（ plural ）