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 ...
- 19.1k
2
votes
Accepted
Creating theories-of-arithmetic logic tag
I have created the tag synonym peano-arithmetic -> theories-of-arithmetic.
S. CarnahanMod
- 44.9k
Only top scored, non community-wiki answers of a minimum length are eligible