Metamathematics

Metamathematics is a type of mathematics that studies and answers questions about other kinds of mathematics. It's like a math of math! It is usually used to check if other kinds of mathematics are true, and it helps us to understand why and how things work in math. Metamathematics can also help us to create new types of math and understand them better.