Relativo a metamatemática....
Estudo da estrutura formal e das propriedades de sistemas matemáticos....
ro·bo·rar
verbo transitivo