Metamathematics

Metamathematics is a field of study that deals with the structure and formal properties of mathematics and similar formal systems. It also concerned with the formal structure and properties (as the consistency and completeness of axioms) of mathematical systems. An important feature of metamathematics is its emphasis on differentiating between reasoning from inside a system and from outside a system.