3
$\begingroup$

This question already has an answer here:

The title said it all. I disagree with this tag synonym. I (more than once) used "natural-numbers" to tag my questions about the logic structure of natural numbers, more related to logic and model theory than number theory. I then wondered where this strange number theory tag came from. Once, someone told me to replace this gibberish PA, ZFC, etc. because he came from the "elementary-number-theory" tag to my question, but those abbreviations are well understood in the domain of mathematical logic.

Are there actual reasons for this synonym?

Actually, I have enough reputation to vote for tag synonyms, but I do not know if this gives me the ability to cast deletion votes. If so, could one please hint me how to do so?

$\endgroup$

marked as duplicate by quid discussion May 15 '17 at 20:01

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.

Browse other questions tagged .