7 votes

Creating theories-of-arithmetic logic tag

I think having a tag for something like this would be quite reasonable. However, I have a couple reservations with your proposal. First, in my opinion "arithmetic logic" is not an ideal tag ...
2 votes
Accepted

Creating theories-of-arithmetic logic tag

I have created the tag synonym peano-arithmetic -> theories-of-arithmetic.
  • 43.4k

Only top scored, non community-wiki answers of a minimum length are eligible