metamatemática

< meta- + matemática
Pliral: metamatemáticas
  1. s f MAT Estudo da linguaxe que, segundo Hilbert, está formada polos enunciados sobre os signos empregados pola matemática.