English Dictionary

The logician computed the Gödel number of the well-formed formula to demonstrate how syntactic expressions can be encoded arithmetically.

論理学者は、その整形式のゲーデル数（形式言語の各記号や各整形式に一意に割り当てられる数）を計算して、構文表現が算術的に符号化できることを示した。