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

Contenuto cancellato Contenuto aggiunto
Etichette: Modifica da mobile Modifica da web per mobile
Etichette: Modifica da mobile Modifica da web per mobile
Riga 114:
 
=== Predicato di dimostrabilità ===
Supponiamo che <math>\text{Teor}_S</math> sia il predicato che descrive la proprietà "essere un teorema", in relazione ad una formula (e dunque un gödeliano). Detto formalmente,<blockquote><math>\text{Teor}_S(n) \equiv \exists m\text{Dim}_S(m,n) </math></blockquote>ovvero, il predicato è vero sse esiste un <math>m</math> tale per cui esso è il gödeliano che rappresenta una dimostrazione della formula rappresentata da <math>n </math>.
 
==== Proprietà ====