Metatheory 6: Completeness Theorem Preliminaries

00:00 - Introduction
00:36 - Why should we care about the completeness theorem?
04:20 - What we're proving (we're not proving the completeness theorem as it's typically written, but another claim that has the completeness theorem as an immediate consequence!)
12:02 - How we're going to prove the completeness theorem