First, I apologize if MSE is a bad fit for this question. I'm going to give a course as the last course of "elementary set theory" (the previous courses were not given by me). I planed to introduce some advanced topics like the constructible model, the axiom of determinacy and forcing, but not limited to them. The problem is the listeners are philosophy students. They got very little mathematical training. I can not introduce them in a very formal way.
But I still want to impress them by explaining my ideas more intuitively and philosophically. In particular, what's the philosophical meaning behind set-theoretical objects? Are there some theorems, related to mathematical logic, that the philosophy students may have interest?