Metamathematics

Of mathematics and pure mathematics.

The logical analysis of mathematical reasoning.

This concept's ID is @1~32573