English  

كتب updated logic

اذا لم تجد ما تبحث عنه يمكنك استخدام كلمات أكثر دقة.

عرض المزيد

المَنْطِقانِيَّة المُحْدَثة (معلومة)


على الرغم من أن الحسابيات ردها كانتور إلى نظرية المجموعات ، فإن هذه الأخيرة نفسها لا يمكن بالقط اشتقاقها من المنطق الخالص، بل و أن كورت غودل برهن بواسطة مبرهنة عدم التمام في عام 1931 ؛ على أن كل نسق صوري غني بما يكفي لصورنة الحسابيات و كأن ذلك كان ليتضمن حتما حقائق لا يمكن البرهنة عليها داخل هذا النسق ؛ ممّا أدَّى إلى وضع حد نهائي لبرنامج المَنْطِقانِيَّة المحدثة .

المصدر: wikipedia.org