Relativo a metamatemática....
Estudo da estrutura formal e das propriedades de sistemas matemáticos....
se·nec·to