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

استقلال النسق البديهي (بالإنجليزية: Independence of Axiomatic System)، خاصية مميزة لمبحث البديهيات. إذا لم يكن بالإمكان استنباط أي بديهية من البديهيات كامنةً وراء نسق استنباطي بقواعد الاستنباط الخاصة بهذا النسق. يسمى مثل هذا النسق من البديهيات نسقاً مستقلاً. وبخلاف ذلك يكون نسق البديهيات تابعاً. ودراسة أي نسق بديهي من وجهة النظر هذه شيء هام، ليس لتبسيط مبحث البديهيات فقط. بل لأنها قد تكون هامةً أيضاً من حيث المبدأ. وهكذا فإن إثبات استقلال المصادرة الخامسة عند اقليدس في نسق بديهيات الهندسة قد سهل ظهور الهندسات غير الإقليدية.[1]

مراجععدل

  1. ^ الموسوعة الفلسفية، ص 23 - تأليف "م.روزنتال" و"ب.يودين" - النسخة العربية، دار الطليعة، بيروت، الطبعة الأولى 1974م
 
هذه بذرة مقالة عن الفلسفة أو متعلقة بها بحاجة للتوسيع. شارك في تحريرها.