اصل موضوع
از ویکی‌پدیا، دانشنامهٔ آزاد.
اصل موضوع یا بُنداشت به حکمی گفته می‌شود که بدون اثبات پذیرفته شود. حکم‌هایی که به یاری اصل‌ها ثابت می‌شوند،قضیه نام گرفته‌اند. در سیستم‌های مبتنی بر اصل موضوع چند اصل بدون اثبات پذیرفته می‌شود و بقیه احکام و قضایا بر اساس این اصول و با توجه به قواعد منطقی اثبات می‌شود.
اصل‌ها و قضیه‌ها را برای نخستین بار، دانشمندان یونانی وارد دانش کردند.ارشمیدس (سده سوم پیش از میلاد) در کتاب‌های خود، بارها از اصل و قضیه استفاده کرده است. تا سرانجام اقلیدس (سده سوم پیش از میلاد) در ّمقدمات ّ خود در سیزده کتاب، اصل‌ها و قضیه‌های هندسی را منظم کرده است.
شماری از اصل‌ها را، اقلیدس پوستلا (خواست) نامیده است. برای نمونه، نخستین پوستلا در ّمقدمات ّ اقلیدس، به این ترتیب تنظیم شده است: «دو نقطه را می‌توان به وسیله خط راست به هم وصل کرد.»
[ویرایش] جستارهای وابسته
- هندسه نااقلیدسی
- هندسه اقلیدسی
- چهار ضلعی ساکری
- اصل موضوع چهارم اقليدس
- اصل پنجم اقلیدس
- اصل توازی
- اصل پلی‌فیر
[ویرایش] منبع
- تاریخ ریاضیات(پرویز شهریاری)
[ویرایش] جستارهای وابسته
رده‌های صفحه: ریاضیات | هندسه | جبر | منطق
