فراحساب
type: Concept
broader: فراریاضیات
preferred label: meta-arithmetic @en

فراریاضیات
type: Concept
alternative label: متا ریاضی
broader: فرازبان
narrower: فراحساب
preferred label: meta-mathematics @en
related: نظریه

فرازبان
type: Concept
narrower: فراریاضیات
preferred label: meta-Language @en

نظریه
type: Concept
preferred label: theory @en
related: فراریاضیات