METAMATHEMATICS

[meta.math.e.mat.ics] n pl but usu sing in constr (ca. 1890): a field of study concerned with the formal structure and properties (as the consistency and completeness of axioms) of mathematical systems -- meta.math.e.mat.i.cal adj