>>281　帰納で責めてみる。

言語をあつう言語＝メタ言語（ＢＮＦとかＹＡＣＣとか）
入出力で関数を扱う関数＝メタ関数（俺の造語。ふつーは高階関数という）
数学の公理系とか演算の性質とかを扱う数学＝メタ数学（同上。普通は基礎数学という）