Comment by wubrr

Is it also possible to define set theory in terms of arithmetic?