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