Explore the vast range of titles available.

هدف البحث إلى دراسة موضوع بعنوان\" البرهان الرياضي لنظرية حساب القضايا لدي المناطقة المعاصرين\". وتناول البحث عدة عناصر تمثلت في: العنصر الأول: أشار إلى نظرية حساب القضايا لدي رسل، وتناول هذا العنصر عدة نقاط تمثلت في: أولاً: مقدمات نظرية حساب القضايا، ثانياً: الأفكار الابتدائية، ثالثاً: التعريفات. العنصر الثاني: نظرية حساب القضايا في نسق هلبرت. العنصر الثالث: نظرية حساب القضايا في نسق لوكاشيفتش. وتناول هذا العنصر عدة نقاط تمثلت في: أولاً: تعريف رابط الفصل، ثانياً: تعريف رابط الوصل، ثالثاً: رابط اللا-وصل، رابعا: تعريف رابط التكافؤ. واختتم البحث ذاكراً أن الأفكار الرئيسية التي يقدمها لنا المنطقي البولندي يان لوكاشيفتش والتي على أساسها يقيم النسق المتكامل لنظرية المنطق، وأنه على الرغم من كثرة وتعدد الانساق المنطقية والرياضية المقترحة، لم ينجح علماء الرياضيات والمنطق في اصطناع بديل صحيح ونسقي إلا في أجزاء ضئيلة جداً من النظرية، ولم يكتب، حتى الآن لمحاولات الخروج على نسق البرنكييا إلا نجاح محدود، والإشارة إلى تعدد انساق حساب القضايا في المنطق المعاصر. كُتب هذا المستخلص من قِبل دار المنظومة 2018