اصل موضوع یا بُنداشت به حکمی گفته می‌شود که بدون اثبات پذیرفته شود. حکم‌هایی که به یاری اصل‌ها ثابت

می‌شوند،قضیه نام گرفته‌اند. در سیستم‌های مبتنی بر اصل موضوع چند اصل بدون
احکام و قضایا بر اساس این اصول و با توجه به قواعد منطقی اثبات می‌شود.



اصل‌هل و قضیه‌ها را برای نخستین بار، دانشمندان یونانی وارد دانش کردند.ارشمیدس (سده سوم پیش از میلاد) در

کتاب‌های خود، بارها از اصل و قضیه استفاده کرده است. تا سرانجام اقلیدس (سده سوم پیش از میلاد) در ّمقدمات ّ

خود در سیزده کتاب، اصل‌ها و قضیه‌های هندسی را منظم کرده است.



بعضی از اصل‌ها را، اقلیدس پوستلا (خواست) نامیده است. برای نمونه، نخستین پوستلا در ّمقدمات ّ اقلیدس، به

این ترتیب تنظیم شده است: ّدو نقطه را می‌توان به وسیله خط راست به هم وصل کرد