Answer
Metamathematics, the foundation of which was laid by Alfred Tarski's work on Theory of models, delves into the study of mathematical systems, their properties, and their behavior. It's a higher-level exploration that examines the nature of mathematics itself, seeking to understand the underlying principles, rules, and limitations that govern mathematical structures and reasoning.