metamathematics

as Hilbert pursued it is only mathematics, another calculus, not a metagame.

Recast in definition form from: “… Hilbert does is mathematics and not metamathematics. It's another calculus …”

David Hilbert