نظریه منطقی
logical theory
نظریه بازگشتی
recursive theory
مبانی ریاضیات
foundations of mathematics
نظریه تصمیم‌ناپذیری
undecidability theory