منطقانية: الفرق بين النسختين

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