Relativo a metamatemática....
Estudo da estrutura formal e das propriedades de sistemas matemáticos....
i·na·nir