metamatemático

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

O mesmo que sintático ou metalógico. No sentido de Hilbert, teoria da prova, ou seja, formalização da prova matemática por meio de um sistema logístico [Abbagnano]