Metasimbolo

Vocabolario on line

metasìmbolo s. m. [comp. di meta- e simbolo]. – In logica matematica, simbolo non appartenente all’alfabeto di una teoria oggetto di studio e che viene introdotto con funzione ausiliaria per semplificare l’esposizione della metateoria.

Invia articolo Chiudi