yardımcı önerme

endüstri

Bir teoremin kanıtlanmasında kullanılan, doğruluğu kabul edilmiş önerme.
Eşanlam: önsav

İngilizce lemma

Fransızca lemme, m

Almanca Hilfssatz, m; Lemma, n

Rastgele Terim: