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

# se <math>\alpha \in Ax</math>, allora <math>\langle \alpha \rangle \in \text{DIM}</math>;

# se <math>\langle \alpha_1,...,\alpha_n \rangle \in \text{DIM}</math> e <math>\alpha_{n+1}</math> è conseguenza diretta di qualche <math>j</math>-upla <math>\langle \alpha_1,...,\alpha_j \rangle</math> per qualche <math>R_i \in \mathcal{R}</math>, allora <math>\langle \alpha_1,...,\alpha_n, \alpha_{n+1} \rangle \in \text{DIM}</math>.

 

== Primo Teorema di incompletezza ==