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
