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?

>>5
define "proof"
define "jewish"
define "axioms"
define "jewish axioms"