===== METAMATEMÁTICO =====
(in. Metamathematic; fr. Métamathématique; al. Metamathematisch; it. Metamatematicó).

O mesmo que sintático ou [[lexico:m:metalogico|metalógico]]. No [[lexico:s:sentido|sentido]] de Hilbert, [[lexico:t:teoria|teoria]] da [[lexico:p:prova|prova]], ou seja, [[lexico:f:formalizacao|formalização]] da prova [[lexico:m:matematica|matemática]] por [[lexico:m:meio|meio]] de um [[lexico:s:sistema-logistico|sistema logístico]]