حساب (منطق)
type: Concept
preferred label: arithmetic (logic) @en
related: فراحساب

فراحساب
type: Concept
alternative label: متا حساب
broader: فراریاضیات
preferred label: meta-arithmetic @en
related: حساب (منطق)

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