متن زیر چه موضوعی را مورد بحث قرار داده است؟

متن: استقرای ساختاری روشی است که برای اثبات کردن قضایا از آن استفاده می‌شود که در منطق ریاضی (به عنوان مثال، در اثبات قضیه لس)، علوم کامپیوتر، نظریه گراف، و برخی دیگر از زمینه‌های ریاضی کاربرد دارد. این استقرا یک تعمیم از استقراء ریاضی روی اعداد طبیعی است، و می‌تواند به‌طور قراردادی به استقرای noetherian تعمیم داده شود. روش بازگشت ساختاری یک روش بازگشتی است که ارتباط آن با استقرای ساختاری همانند ارتباط یک رابطه بازگشتی ساده با یک رابطه استقرای ریاضی ساده است. استقرای ساختاری برای اثبات برخی گزاره‌های (p (x، که به ازای همه xهای نوعی از ساختارهای تعریف‌شده به صورت بازگشتی مانند لیست‌ها یا درختان صحیح است، استفاده می‌شود. 
موضوع:
استقرای ساختاری