(logic) Gödel numbering
Gödelization
式のゲーデル番号付けにより、論理学者は構文的性質を算術的関係として符号化することができる。
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★