3

I learnt that formal language of pure set theory allows one to formalize all mathematical notions and arguments. The language just has one non logical symbol(!) "the belongs to relation" this is surprising to me is there an intuition for why this is true? I mean its surprising that math has such ...