meta-arithmetic
فراحساب
متا ریاضی
meta-mathematics
فراریاضیات
meta-Language
فرازبان
theory
نظریه