Stav dette: The reality of mathematics and the case of set theory