Good morning/afternoon everyone. I had the set-theory tags removed from this question mathoverflow.net/questions/370042/… and I was wondering why this wouldn't be considered as a problem in set-theory?