最終更新日：2024/08/08
(logic) A fundamental result of mathematical logic, essentially allowing a certain kind of reduction of first-order logic to propositional logic.
正解を見る
Herbrand's theorem
編集履歴（0）
元となった辞書の項目
Herbrand's theorem
name
