Logica matematica/Incompletezza/Teoremi di incompletezza di Gödel: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Riga 93:
\text{Dim}_S(x,\text{g}(\gamma))</math>. Essendo <math>S</math> ω-coerente, per il [[Logica/Incompletezza/Teoremi di incompletezza di Gödel#Lemma di coerenza|lemma di coerenza]] esso è anche coerente, dunque, per il punto 1, vale <math>\nvdash_S \gamma</math>, cioè <math>\nvdash_S \neg\exists x
\text{Dim}_S(x,\text{g}(\gamma))</math>. Quindi, essendo <math>Dim_S</math> rappresentabile in <math>S</math>, abbiamo che, per ogni <math>n</math>, <math>\vdash_S \neg\text{Dim}_S(\overline{n},\text{g}(\gamma))</math>. Dunque, valendo sia <math>\vdash_S \exists x
\text{Dim}_S(x,\text{g}(\gamma))</math> che <math>\vdash_S \neg\text{Dim}_S(\overline{n},\text{g}(\gamma))</math> per ogni <math>n</math>, segue che <math>S</math> è ω-incoerente, contraddicendo l'ipotesi iniziale.
Perciò, se <math>S</math> è ω-coerente, allora <math>\gamma</math> è indecidibile all'interno di <math>S</math> stesso.
| |||