Wikibooks

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

Naviga nella cronologia in modo interattivo
← Differenza precedenteDifferenza successiva →
Contenuto cancellato Contenuto aggiunto
VisualeWikitesto
Riga 35:
* L'insieme <math>\text{DIM}</math> delle dimostrazioni di <math>S</math> può essere definito induttivamente:
 
* :Sia <math>Ax</math> l'insieme degli assiomi di <math>S</math> e <math>\mathcal{R}</math> l'insieme delle sue regole d'inferenza. L'insieme <math>\text{DIM}</math> è così definito:
 
# se <math>\alpha \in Ax</math>, allora <math>\langle \alpha \rangle \in \text{DIM}</math>;
Estratto da "https://it.wikibooks.org/wiki/Logica_matematica/Incompletezza/Teoremi_di_incompletezza_di_Gödel"