لما و کرولاری و پرپوزیشن

[مجتبی برخورداری]

همانطور که می‌دانید برای قضایای فرعی عبارات مختلفی در ادبیات ریاضی رایج است. من برای فارسی سازی این عبارات دچار مشکل شده‌ام. در واقع سوال من این است که برای محیط‌های Corollary، Proposition و Lemma  چه عبارت‌های معادلی رایج است؟

[مهدی امیدعلی]

لما= لم!
کرولاری= نتیجه
پرپوزیشن= گزاره
ولی بهتر است یک واژه‌نامهٔ ریاضی تهیه کنید.