lemma

Etymology

ギリシャ語 λῆμμα。取られるもの、仮定されるもの。

語源

ギリシャ語 λαμβάνω「取る」。

関係

theorem の一種。

Origin

ギリシャ語 λῆμμα。数学、論理学。

Meaning

他の定理の証明に用いられる補助的な定理。

Earliest use

OED に attest。

Definition

補題。他の定理の証明に用いられる補助的な定理。theorem の一種。証明の途中で用いる。