Relativo a metamatemática....
Estudo da estrutura formal e das propriedades de sistemas matemáticos....
bu·tô