## 116- Lecture 7

We showed that recursive functions and recursive sets are $\Sigma_1$-representable in $\mathsf{Q}$. We also defined Gödel numberings and exhibited an example of one. This allowed us to define when a theory is recursive. Finally, we proved Gödel’s diagonal lemma.