Lecture 7 (Logic) Validity, Consistency, and Independence of Axioms

Full Playlist: https://www.youtube.com/playlist?list=PLJWhXkxQzDF58EHPCuxHS-iaMpom9qTqg

Chapter 4: General Theory of Inference
- 2. Interpretations and Validity
- 3. Restricted Inferences with Existential Quantifiers

For a better understanding of what I was trying to briefly cover with Kirt Godel and Church, I strongly recommend this video: https://www.youtube.com/watch?v=HeQX2HjkcNo