最終更新日:2024/08/07
(logic) A function assigning a Gödel number to each well-formed formula of some formal language.
正解を見る
Gödel numbering
編集履歴(0)
(logic) A function assigning a Gödel number to each well-formed formula of some formal language.
Gödel numbering