lexico:m:metamatematico
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
lexico/m/metamatematico.txt · Last modified: by 127.0.0.1