Do we really want to save that tag, or can we please please make it a synonym of elementary-set-theory?
Thanks to Martin Sleziak's efforts, we no longer have questions under the tag cardinality. And as Martin points out below, the uses of this tag were various and not always actually related to cardinals or elementary set theory.
So now we have four general options:
- Allow the tag to be recreated and let it be.
- Make the tag synonymous to elementary-set-theory.
- Make the tag synonymous to cardinals.
- Blacklist the tag altogether.
Perhaps there are other options, but I'm not sure which ones are worth it. Please voice your opinions in the comments, so we can come to some basic agreement.
(I think that a poll thread with four options is way too much, we should probably narrow it down to two options, or three at most, before posting poll answers.)