Jewish nature of math

Hey /prog/, let's think about Jewish nature of math.
Let K = set of sets all of them doesn't conatain themselves. Does K contain itself?

This thread could have been better.