💬 سلام! می‌خوای درباره‌ی «Lecture 14: Heyting-valued Sets» بیشتر بدونی؟ من اینجام که راهنماییت کنم.