Metasìmbolo
Vocabolario on line
metasimbolo
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.
© Istituto della Enciclopedia Italiana fondata da Giovanni Treccani - Riproduzione riservata