افتح القائمة الرئيسية

تغييرات

لا تغيير في الحجم، ‏ قبل 8 أشهر
ط
بوت:صيانة V3.2، أضاف وسم مصدر
{{مصدر|تاريخ=ديسمبر 2018}}
'''البديهية''' {{يونانية|''أكسيوما'' αξιωμα}} هي أي [[قضية]] تكون مقدمة لاستنتاج تصريحات أخرى منطقيا. ويمكن أن تكون البديهية هي العبارة، الافتراض، المقولة أو القاعدة التي تشكل أساسا ل[[نظام شكلي|لنظام الشكلي]]. بخلاف المبرهنات، البديهيات لا يمكن أن تشتق بمبادئ الاستنتاج، كما لا يمكن اثباتها عن طريق برهان شكلي - ببساطة لأنها مقدمات مفترضة - ليس هناك شيء آخر تستنتج منه منطقيا (والا سيفترض تسميتها نظريات).