Last Updated：2025/12/05
The Gödelization of formulas allows logicians to encode syntactic properties as arithmetic relations.
See correct answer
The Gödelization of formulas allows logicians to encode syntactic properties as arithmetic relations.
音声機能が動作しない場合はこちらをご確認ください
Edit Histories（0）
Source Sentence
式のゲーデル番号付けにより、論理学者は構文的性質を算術的関係として符号化することができる。
