lemma

① [언어] 표제어, 기본형② [수학·논리] 보조 정리

•그리스어 *lēmma*(받아들여진 것, 가정)에서 유래. 언어학에서는 사전 등재를 위해 파생어들의 대표로 '채택된' 기본형(base form)을 의미함

•수학/논리학에서는 더 큰 정리를 증명하기 위해 참이라고 '가정하고 받아들이는' 중간 단계의 명제(보조 정리)를 뜻함

•복수형은 'lemmas' 또는 그리스어식 'lemmata' 둘 다 사용 가능

•두 의미 모두 "본론(메인)을 위해 전제로 취해진 것"이라는 공통된 논리를 가짐

①	[언어] 표제어, 기본형

[언어] (사전의) 표제어, 기본형

The word "run" is the lemma for "runs", "running", and "ran".

= headword, citation form

②	[수학·논리] 보조 정리

[수학·논리] 보조 정리

Proving this lemma is a necessary step to solving the main theorem.

= auxiliary theorem

•

단어 "run"은 "runs", "running", "ran"의 기본형(표제어)이다.

•

이 보조 정리를 증명하는 것은 주 정리를 풀기 위한 필수적인 단계다.

8.5

•

lemma

[언어] 표제어, 기본형, [수학·논리] 보조 정리

미국, 영국 음성 4종 확인