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).


Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

%d bloggers like this: