## 116b- Lecture 1

We introduced the course, stated the incompleteness theorems, defined $\mathsf{Q}$ (Robinson Arithmetic), $\mathsf{PA}$ (Peano or first-order Arithmetic), and $\mathsf{ACA}_0$ (the subsystem of second-order Arithmetic given by the arithmetic comprehension axiom).