# Do we need a [foundations] tag?

Do we need a tag? I removed one from a question yesterday, and it appeared on another sometimes later.

I'm not sure whether or not they are actually useful, but since some people do think they might be, I figured a meta thread is in order.

Edit:

Okay, it seems that the general notion is learning towards indifference and favouring keeping the tag. That's fine. But I think we should decide what should be in it.

Someone had asked a question about proving the existence and uniqueness of remainders in division of natural numbers. Clearly not a foundational issue as most mathematician would think of it.

I propose that we rename the tag to or some other $\leq25$-letters variation that will tell newcomers that this is tag for foundational issues, and not "elementary" issues from the first steps in mathematics.

The second thing, I think, is that we need to get some general notion of what fits under this tag. Borderline philosophical questions? "How to develop X within Y"? What is the best beer for set theoretical work? And so on.

-
FWIW, I added the tag to the new question because I didn't notice that you removed the other one. I don't have an opinion on whether we need a foundations tag; I figured that "assuming foundations is a good tag, this question would be a perfect fit for that tag". – Willie Wong Feb 27 '13 at 23:09
@Willie: Some comments on that edit maybe? :-) – Asaf Karagila Mar 8 '13 at 9:04
I don't see how (foundations-of-math) is suppose to be better at explaining what it is compared to (foundations). For those who don't know about foundations, the two tags are likely to mean the same (wrong) thing. For those who do know, the two tags are likely also to mean the same (right) thing. A good tag wiki is a must, though I am not convinced that changing the tag name will help much. – Willie Wong Mar 8 '13 at 9:54
It also doesn't help that the Wikipedia article does not quite capture what we think of as foundational issues. Do you have a good two sentence summary of what a foundational issue is that can be understood by a layperson? – Willie Wong Mar 8 '13 at 9:56
@Willie: That's a tough cookie. How about "Mathematical foundations is the development of mathematics within mathematics itself." or something like that? – Asaf Karagila Mar 8 '13 at 10:16

My attitude towards tags is generally "why not?" Foundations is definitely an area which is on topic here, so why not tag it so that people who are interested in those questions can find them?

I scanned through the top 200 voted set-theory questions, and found the following questions where I think a foundations tag would be on topic.

-
A general answer to "why not" is that having a too deep hierarchy of tags with overlapping scopes will increase the chance that some relevant tags will be missed by questions (there's a 5-tag limit), and therefore make the question less visible to users following the missed tags. Keeping up with all subtags of the areas one is interested will be more difficult the easier it is to create new tags. – Henning Makholm Feb 28 '13 at 4:33
Would you consider the sort of "How to prove $1+1=2$?" questions as [foundations]? They do bother with the foundations of mathematics, but... differently. – Asaf Karagila Mar 8 '13 at 23:42
I've accepted this answer because it seems the tag is here to stay... – Asaf Karagila May 6 '13 at 11:27

No, we don't need it. There is already a tag whose tag-wiki explicitly mentions "foundations". The two questions Asaf alludes to in the OP (this one and this one) are both easily within the scope of the philosophy tag, and I highly doubt we will see many questions on foundational issues that for which this tag is ill-suited.

-
I can easily make foundations a synonym of philosophy. FWIW we should probably edit the philosophy tag wiki excerpt to have a bit more than just one sentence. – Willie Wong Feb 27 '13 at 23:04
Many people are averse to tagging their question philosophy. To many people, "philosophy" is a pejorative whereas "foundations" is not. Maybe we need a hierarchy of tags so people don't have to worry about something being under the tag they aren't searching under. – Jacob Wakem Jan 13 '14 at 21:10