metamatemática

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