استدلال عقلانی
تئوری اقدام، رخدادها و تغییر، طیف دیگری از استدلال مبتنی بر قضاوت عقلانی است. روش‌های استدلال منطقی برای دامنه‌هایی که محدودیت‌های ذکر شده در زیر را برآورده می‌کنند وجود دارد:
قضیه
انتهای اثبات ممکن است با حروف Q.E.D.(quod erat demonstrandum) علامت‌گذاری شود یا با یکی از علامات "□" یا "∎" به معنی پایان اثبات می‌باشد که به وسیله پائول هالموس به دنبال موارد استفاده آن‌ها در مقالات مجلات معرفی شد. سبک دقیق بستگی به نویسنده یا انتشارات دارد. بسیاری از انتشارات، ساختارها یا ماکروهایی برای حروف چینی در سبک‌های خانگی فراهم می‌کنند. در یک قضیه معمول آن است که به وسیلهٔ تعاریفی، مفهوم دقیق شرایط و اصطلاحات استفاده شده در قضیه را شرح می‌دهند، مقدم بشوند. همچنین معمول است که یک قضیه به وسیلهٔ تعداد گزاره‌ها یا لم‌ها که در اثبات استفاده شده‌اند، مقدم بشوند. هر چند، لم‌ها معمولاً در اثبات قضیه جا داده می‌شوند، چه همراه با اثبات‌های تودرتو یا چه همراه با اثبات‌های ارائه شده بعد از اثبات اصلی قضیه. استنباط‌ها یا نتایج یک قضیه یا بین قضیه و اثبات مطرح می‌شود یا مستقیماً بعد از اثبات. بعضی اوقات، استنباط‌ها اثبات‌هایی برای خودشان دارند که توضیح می‌دهند چرا در اثبات قضیه استفاده شده‌اند.