Lecture 12 (Logic) Theory of Definition and Intro to Set Theory