Seol mar théacs é seo: The reality of mathematics and the case of set theory