Logica matematica/Incompletezza/Teoremi di incompletezza di Gödel: differenze tra le versioni

Date due formule <math>\alpha,\ \beta</math>:<blockquote>'''T1.''' Se <math>\vdash_S \alpha </math>, allora <math>\vdash_S \text{Teor}_S(\overline{\alpha}) </math>;</blockquote><blockquote>'''T2.''' <math>\vdash_S \text{Teor}_S(\overline{\alpha}) \to \text{Teor}_S(\overline{\text{Teor}_S(\overline{\alpha})}) </math>;</blockquote><blockquote>'''T3.'''<math>\vdash_S \text{Teor}_S(\overline{\alpha}) \and \text{Teor}_S(\overline{\alpha \to \beta}) \to \text{Teor}_S(\overline{\text{Teor}_S(\overline{\beta})}) </math>;</blockquote><blockquote>'''T4.''' Se <math>\vdash_S \text{Teor}_S(\overline{\alpha}) </math>, allora <math>\vdash_S \alpha </math>.</blockquote>{{avanzamento|50%}}