هذه المقالة يتيمة. ساعد بإضافة وصلة إليها في مقالة متعلقة بها

استقلال النسق البديهي

من أرابيكا، الموسوعة الحرة
اذهب إلى التنقل اذهب إلى البحث

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

مراجع

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