(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]
(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]