Only 1 last question in numer now.

@MartinSleziak i don't know how to tag it

@Eugene I've tried to go with (elementary-set-theory) + (notation), see here.

Anyway, the question was bumped, if someone will see a better way to tag it, they will probably retag.

@MartinSleziak i wanted to go with terminology but notation is probably good enough.

number has 0 questions, I believe that in 24 hours it should be cleared out of the system. (In the sense that it will not be offered when you are tagging a question.)

So the next one to go would be real-number-computation?

@MartinSleziak ok. i'll work on that. are those the only tags we need to get rid off?

@Eugene You can have a look at this question at meta: Tag merging and synonyms.

I think it's good to do those tags which received several upvotes there (and/or no objection in the comments), since that can be considered as a consensus of MSE community.

Perhaps other posts in tagging might be interesting too, but that single thread seems to be most relevant for activities connected with retagging, making synonyms, eradicating tags, etc.

oh ok then. next up: real-number-computation then!

real-number-computation has 6 questions at the moment