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

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

{{indexmenu>.#1|skipns=/^playground|^wiki/ nsonly}}