Last Updated：2025/11/24
The logician computed the Gödel number of the well-formed formula to demonstrate how syntactic expressions can be encoded arithmetically.
See correct answer
The logician computed the Gödel number of the well-formed formula to demonstrate how syntactic expressions can be encoded arithmetically.
音声機能が動作しない場合はこちらをご確認ください
Edit Histories（0）
Source Sentence
論理学者は、その整形式のゲーデル数（形式言語の各記号や各整形式に一意に割り当てられる数）を計算して、構文表現が算術的に符号化できることを示した。
