DEFINIZIONEla caratteristica di una formula dimostrabile nella logica matematica.SoluzioneDECIDIBILITA