3
Some time ago I noticed that someone had created cardinality, which I find redundant considering the fact that it's usually just elementary-set-theory, and that it is almost never tagged as such. Do we really want to save that tag, or can we please please make it a synonym of elementary-set-theo...