The Gödelization of formulas allows logicians to encode syntactic properties as arithmetic relations.
式のゲーデル番号付けにより、論理学者は構文的性質を算術的関係として符号化することができる。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
