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