If you do not find what you're looking for, you can use more accurate words.
على الرغم من أن الحسابيات ردها كانتور إلى نظرية المجموعات ، فإن هذه الأخيرة نفسها لا يمكن بالقط اشتقاقها من المنطق الخالص، بل و أن كورت غودل برهن بواسطة مبرهنة عدم التمام في عام 1931 ؛ على أن كل نسق صوري غني بما يكفي لصورنة الحسابيات و كأن ذلك كان ليتضمن حتما حقائق لا يمكن البرهنة عليها داخل هذا النسق ؛ ممّا أدَّى إلى وضع حد نهائي لبرنامج المَنْطِقانِيَّة المحدثة .