Scienza che ha per oggetto l’analisi formale delle strutture matematiche, e che si può identificare con la logica matematica. Con significato più ristretto la m., o teoria della dimostrazione (Beweistheorie), è la scienza, creata da D. Hilbert ...

metamatematica

LOGICA MATEMATICA 

Aldo Marruccelli

Alberto Pasquinelli

(XXI, p. 398; App. II, 11, p. 226; III, 1, p. 999).
Princìpi di logica matematica.
È opportuno premettere all'articolo che dà notizia dei progressi verificatisi nell'ambito della l. ...

LOGICA MATEMATICA

meta- [dal gr. metá "con, dopo", in composizione meta-]. - 1. Pref. di molte parole composte, che indica mutamento, trasformazione (per es., metamorfosi, metafonesi, metaplasia, ecc.), trasposizione (metatesi, [...]   "trattazioni che vengono dopo quelle circa la natura", gr. tà metà tà physiká), ha acquisito il valore di trans- e indica oggi una scienza che trascende la realtà naturale, o che abbia un'altra scienza come suo oggetto: <b>metamatematica</b>, metapsichica.