Metamathematics is another word for proof theory.

The branch of logic dealing with the study of the combination and application of mathematical symbols is also sometimes called metamathematics or metalogic.

Metamathematics is another word for proof theory.

The branch of logic dealing with the study of the combination and application of mathematical symbols is also sometimes called metamathematics or metalogic.

Weisstein, Eric W. "Metamathematics."
From *MathWorld*--A Wolfram Web Resource. https://mathworld.wolfram.com/Metamathematics.html