The Completeness Theorem
15:03
Applications of the Compactness Theorem
21:51
Automated Theorem Proving and Axiomatic Mathematics
15:23
The Strengthened Liar and Paradoxes of Incompleteness
22:22
Ultraproducts
10:44
5. Soundness and Completeness - Logic for Beginners
31:24
Introduction to Sequent Calculus
3:39
Roger Penrose explains Godel's incompleteness theorem in 3 minutes
24:57