metamatematica

Etymology
From.

Noun

 * 1)  metamathematics