In Naive Set Theory, Halmos states the following:
The principal concept of set theory, the one that in completely axiomatic studies is the principal primitive (undefined) concept, is that of belonging.
I'm surprised. Is $\in$ really not defined in axiomatic studies?