Versione delle 14:23, 5 lug 2010 modifica 159.149.2.252 (discussione) →‎Decidibilità di una formula in una teoria ← Differenza precedente		Versione delle 11:36, 29 set 2010 modifica annulla JAnDbot (discussione \| contributi) 107 684 modifiche m Bot: Aggiungo: cs:Nezávislé tvrzení, ru:Независимость системы аксиом Tolgo: fr:Indécidabilité Differenza successiva →
Riga 21: [[categoria: logica matematica]] [[cs:Nezávislé tvrzení]] [[en:Independence (mathematical logic)]] [[ru:Независимость системы аксиом]] ~~[[fr:Indécidabilité]]~~ [[sv:Oavgörbar]]

Decidibilità: differenze tra le versioni