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