نظریه منطقی
preferred label: logical theory @en
type: Concept
related: نظریه تصمیم‌ناپذیری

نظریه بازگشتی
preferred label: recursive theory @en
type: Concept
narrower: نظریه تصمیم‌ناپذیری

مبانی ریاضیات
preferred label: foundations of mathematics @en
type: Concept
related: نظریه تصمیم‌ناپذیری

نظریه تصمیم‌ناپذیری
related: مبانی ریاضیات
related: نظریه منطقی
broader: نظریه بازگشتی
preferred label: undecidability theory @en
type: Concept