arithmetic (logic)
حساب (منطق)
متا حساب
meta-arithmetic
فراحساب
meta-mathematics
فراریاضیات