Logica matematica/Incompletezza/Teoremi di incompletezza di Gödel: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Riga 33:
L'insieme <math>\mathcal{F}</math> delle formule ben formate di un sistema formale <math>S</math>, essendo definito induttivamente, è ricorsivo. 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.
== Primo Teorema di incompletezza ==
| |||