lexico:m:metamatematico:start
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
/home/mccastro/public_html/filosofia/data/pages/lexico/m/metamatematico/start.txt · Last modified: by 127.0.0.1