bn:00050622n
Noun Concept
Categories: 数学に関する記事, 補題, 命題
JA
補題  補助定理
JA
他の命題を証明するために真であると想定される補足的命題 Japanese Open Multilingual WordNet
English:
logic
mathematics
Definitions
Relations
Sources
JA
他の命題を証明するために真であると想定される補足的命題 Japanese Open Multilingual WordNet
数学において、「補助定理」 あるいは補題 とは、それ自体が興味深いステートメントと言うよりも、むしろ、より大きな結果を得る一歩として使われる、証明された命題である。. Wikipedia
Japanese Open Multilingual WordNet
Wikipedia
JA
Wikidata
JA