فعل کنایی
در پارسی، پاره‌ای از فعل‌های گذرا می‌توانند بدون ذکر مفعول به کار بروند، در حالی که حتی در چنین شرایطی دستورنویسان زبان فارسی معمولاً آن را گذرا حساب کرده‌اند، با این تفاوت که این عده «چیزی» و «کسی» را مفعول می‌دانند، در حقیقت آنها معتقدند که مفعول جمله ذکر نشده است. با این حال چنانچه این نوع کاربرد را ناگذر در نظر بگیریم بنا بر این اصل که ملاک گذرا بودن عمل و نقش فاعل نیست بلکه نیازمندی جمله به مفعول است، می‌توان گفت که بیشتر فعل‌های گذرا می‌توانند به صورت ناگذر به کار بروند، اما عمل و نقش فاعل در جمله شامل فعل گذرا با عمل و نقش فاعل در جمله شامل فعل ناگذر یکی است، مثلاً، «کاوه آش را خورد» (گذرا) و «کاوه خورد» (ناگذر)، که باز تنها تفاوت در این است که در دومی مشخص نیست چه خورده شد. در مقابل، در فارسی تعدادی از فعل‌ها کُنایی هستند به شکلی که می‌توان فعل را در دو جمله به گونه‌ای به کار برد که نقش فاعل تغییر کند. به عنوان مثال، «کاوه آش را پخت» (گذرا) و «آش پخت» (ناگذر).
قضیه
تعدادی از واژه‌های مختلف برای عبارات ریاضی وجود دارد که این واژه‌ها گزاره‌ها را بیان می‌کنند. استفاده از بعضی لغات ممکن است به صورت قرار دادی باشد و گاهی معانی لغات تکامل می‌یابد. اصل یا اصل موضوع گزاره‌ای است که بدون اثبات پذیرفته می‌شود و به عنوان اساسی برای موضوع است. از لحاظ تاریخی این به عنوان «بدیهی» در نظر گرفته شده‌است، اما اخیراً آن‌ها فرضی در نظر گرفته می‌شوند که موضوع مطالعه را مشخص می‌کند. در هندسه کلاسیک، اصول موضوعه بیانیه‌های عمومی هستند در حالی که اصول موضوعه اظهاراتی در مورد اشیاء هندسی می‌باشد. گزاره(پیشنهاد) یک اصطلاح عمومی است برای قضایایی که از اهمیت کمتری برخوردارند. این واژه گاهی اوقات یک بیانیه متضمن با یک اثبات ساده است در حالی که واژه قضیه هنگامی استفاده می‌شود که نتیجه مهم یا اثبات دشوارتری در کار باشد. لم یک کمک قضیه است. یک گزاره با کاربرد کمی که بخشی از یک اثبات طولانی را تشکیل می‌دهد. در برخی موارد که اهمیت نسبی بعضی قضایا روشن شد و گزاره‌ای که در گذشته لم نامیده می‌شد قضیه نام گرفت اما واژه لم هم چنان باقی ماند. نتیجه فرعی یا استنباط گزاره‌ای است بدون اثبات یا با اثباتی کم که از قضیه دیگر یا یک تعریف نتیجه‌گیری شده‌است. عکس قضیه گزاره‌ای است که با معکوس کردن یک قضیه و اثبات آن بدست می‌آید. همچنین لغاتی وجود دارند که کمتر استفاده می‌شوند که به‌طور معمول به اظهارات اثبات شده متصل اند: تطابق، که برای قضایایی که برای بیان برابری دو عبارت ریاضی است مورد استفاده قرار می‌گیرد. حکم که برای قضایایی که با فرمول منتشر می‌شود مورد استفاده قرار می‌گیرد؛ و هم چنین کلماتی دیگر از جمله قانون و قاعده و ...