bn:01865123n
Noun Named Entity
Categories: エポニム, 数理論理学, メタ定理, 数学に関する記事, 数学基礎論の定理
JA
エルブランの定理
JA
エルブランの定理(英: Herbrand's theorem)は1930年にジャック・エルブランが発表した数理論理学上の基本定理である 。 Wikipedia
Definitions
Relations
Sources
JA
エルブランの定理(英: Herbrand's theorem)は1930年にジャック・エルブランが発表した数理論理学上の基本定理である 。 Wikipedia
Wikipedia Translations