Polirematiche teorema di Gödelloc.s.m.TS mat.t. per cui ogni formalizzazione di un sistema aritmetico contiene proposizioni indecidibili Correzioni e suggerimenti Condividi Twitter Facebook Email