القضايا الغير قابلة للتقرير و المنطق
يمكن تعريفها بانها قضايا لايمكن اثبات صحتها او نفيها في نسق منطقي
ولعل اشهر مثال لها فرضية الاستمرارية ف بحسب نسق ZFC ( الذي تُرد اليه غالب الرياضيات) و قد اثبت كورت غودل انه يستحيل اثبات نفيها في النسق
وبعد مدة اثبت بول كوهين ان حتى يستحيل اثبات صدقها في ZFC
بالتالي يعد صدق او كذب هذه قضية مستقل تماما عن هذا نسق منطقي ويمكننا بناء نسق رياضي ومتسق مع وضع نفيها وكذلك يمكننا بناء نسق رياضي متسق مع وضع صحتها و كلاهما صحيح
5
3July 25, 2026 945 12 4
