Mathematical Logic, Lecture 6 (More on formal proofs and Gödel's completeness theorem)

These are video lectures for the Mathematical Logic course (Math 220A) taught by Artem Chernikov at UCLA in the Fall quarter of 2021.

[jenamartin]

The simulation of constants by variables reminds me of the fact that when you extend a field by a transcendental number, the extended field is isomorphic to polynomial over the original field.