41. Logic. Gödel's Completeness theorem
30:09
42. Logic. The Set Of Closed Terms
24:49
The Completeness Theorem
16:22
Gödel's Incompleteness Theorem. Primitive Recursion.
14:34
Gödel's incompleteness theorem: a conceptual explanation
13:52
Gödel's Incompleteness Theorem - Numberphile
15:25
46. Logic. Finishing the proof of completeness
16:10
Godel's 1st Incompleteness Theorem - Proof by Diagonalization
15:47