godelizzazione
godeliżżazióne ‹ġö-› s. f. [dal nome di K. Gödel (v. la voce prec.)]. – Procedimento logico-matematico ideato da K. Gödel per formalizzare la matematica, detto anche aritmetizzazione (v.).
