用語
J-GLOBAL ID：201206002862918600
補題
主題カテゴリー：
主題カテゴリー
用語の主な分野です
数学
学術用語集 (2件)：
学術用語集
国内学会と文部科学省によって編纂された学術用語集の用語です
数学編 / 補助定理 , 補題 / lemma
論理学編 / 補助定理 / lemma
同義語 (1件)：
補助定理
(lemma)
補助定理 について
「補助定理」ですべてを検索
関連語 (1件)：
定理証明
(theorem proving)
定理証明 について
「定理証明」ですべてを検索
この用語の用語情報を見る
上位語 (1件)：
定理
(theorem)
定理 について
「定理」ですべてを検索
この用語の用語情報を見る
シソーラスmap：
シソーラスmap
※学術用語集由来のみの同義語は表示されません
前のページに戻る
TOP
BOTTOM
