"حل مسائلة الاستنتاج الرياضي"