فهرست بنداشتها
فهرست بنداشتها (اصلهای موضوعها) در ریاضیات و سایر علوم.
تعریف
در سیستمهای مبتنی بر اصل موضوع چند اصل بدون اثبات پذیرفته میشود و بقیه احکام و قضایا بر اساس این اصول و با توجه به قواعد منطقی اثبات میشود.
در زیر فهرستی از این بنداشتها میآید:
هندسه
- اصل توازی
- اصل پلیفیر (Playfair's Axiom)
- اصل توازی هذلولوی
- اصل پنجم اقلیدس
- اصل موضوع چهارم اقلیدس
بدون دستهبندی موضوعی
منابع
- گرینبرگ، ماروین جی (۱۳۶۳)، هندسههای اقلیدسی و نااقلیدسی، ترجمهٔ م.ه. شفیعیها (ویراست ویراستهٔ احمد بیرشک، حمید کاظمی، همایون معین)، تهران: مرکز نشر دانشگاهی
- مشارکتکنندگان ویکیپدیا. «List of axioms». در دانشنامهٔ ویکیپدیای انگلیسی، بازبینیشده در ۲۰ فوریه ۲۰۰۸.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.