Mathematician too. I would say we still don't really know what a set is. ZFC "explains" sets in terms of... axioms and models of them which are also just sets? Should I worry about this recursion? Who knows, we just pretend things work.