>>828
横からだけど、メタ数学と言われている圏論とかが形式化されたメタ言語になり得そうな気がします。
集合に対するクラスの様に、数学を階層化して数学全体を数学的対象とする数学（メタ数学）らしいので。