فهرست بنداشتها
از ویکیپدیا، دانشنامهٔ آزاد.
در سیستمهای مبتنی بر اصل موضوع چند اصل بدون اثبات پذیرفته میشود و بقیه احکام و قضایا بر اساس این اصول و با توجه به قواعد منطقی اثبات میشود.
در زیر فهرستی از این بنداشتها میآید:
- اصل پنجم اقلیدس
- اصل توازی
- اصل پلیفیر (Playfair's Axiom)
- اصل توازی هذلولوی
- اصل موضوع چهارم اقلیدس