(logic) Gödel numbering
Gödelization
式のゲーデル番号付けにより、論理学者は構文的性質を算術的関係として符号化することができる。
Don't have an account? Sign up
Do you have an account? Login
DiQt
Free
★★★★★★★★★★