مسلمة

ما هو الافتراض:

الافتراض عبارة غير مثبتة أو مثبتة ، وبالتالي تصبح واضحة أو تصبح إجماعًا أوليًا لقبول نظرية معينة.

الافتراض ليس بالضرورة حقيقة واضحة ، إنه تعبير رسمي يستخدم لاستنتاج شيء ما للحصول على نتيجة بسهولة أكبر ، من خلال مجموعة من الجمل. الافتراض هو اقتراح ، رغم أنه غير واضح ، إلا أنه يعتبر صحيحًا دون مناقشة.

غالبًا ما يُنظر إلى الافتراض كمرادف للبديهية ، لأن كلاهما مقبول دون مناقشة. ومع ذلك ، قد يكون للبديهية أيضًا معنى آخر ، كما هو الحال في الرياضيات ، والذي قد يكون فرضية مبدئية للكلمات الأخرى ، أو جملة أخرى ، أو اقتراح ، أو قاعدة تسمح ببناء نظام رسمي.

في بعض الحالات المحددة ، مثل الرياضيات أو بعض العلوم الطبيعية ، لا يتم قبول البديهيات لأنها حقيقة مطلقة ، ولكن لأنها جزء من مبدأ منطقي ، وهو جزء من تسلسل منطقي مثالي أو بسبب ناتج عن المعرفة التجريبية القائمة على الملاحظة و البيانات العلمية.

توجد الأكسيوم أيضًا في الهندسة ، عندما يتم قبولها دون أي دليل رسمي وتكون خياراتها مصنوعة من وجهة نظر نفعية واقتصادية أو يمكن أن تكون أيضًا فرضية في النمذجة.

بعض من أشهر المسلمات هي افتراضات كوخ ، ومسلسلات بوهر ، وافتراض إقليدس.

فرضية وبديهية

الفرق بين البديهية والافتراض هو أن البديهية تحتوي على أدلة في حد ذاتها وبالتالي لا يلزم إثباتها. لا يمكن اشتقاق البديهيات من خلال مبادئ الاستنباط ولا يمكن إثباتها بواسطة الاشتقاقات الرسمية ، لأنها فرضيات أولية.

والافتراض هو معقول ، حتى لو كان لا يمكن إثبات ذلك. من ناحية أخرى ، قد لا تكون البديهية معقولة ، ولكنها تعتبر حقيقة مطلقة.

فرضية المحاسبة

المسلمات هي أساس المحاسبة ويمكن اعتبارها مفترضات وصفيّة وافتراضات بيئية وافتراضات معيارية.