Gödelization

(logic) Gödel numbering

Japanese Meaning

ゲーデル番号付け

The Gödelization of formulas allows logicians to encode syntactic properties as arithmetic relations.

式のゲーデル番号付けにより、論理学者は構文的性質を算術的関係として符号化することができる。

Sense（1）

(logic) Gödel numbering

Gödelizations with bijective mapping β are of special interest.

Gödelizations

（ plural ）