Metamathematics:
Mathematical theories about mathematical theories.
The subject of metamathematics arose as it slowly became evident that there
is a sound sense in which one can state and prove mathematical theorems that
concern mathematical theories, such as concerns their completeness. (See:
Gödel's Theorems).