siêu ngữ (ngôn ngữ dùng để mô tả các qui tắc cú pháp của các ngôn ngữ khác) (logic học) mêta ngôn ngữ