Questions tagged [arithmetic]

The tag has no usage guidance.

1 question with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
4 votes
0 answers
107 views

Where is First-Order Peano Arithmetic first clearly formulated?

I really should know this, but ... When/where/by whom was first-order Peano Arithmetic first clearly and explicitly formulated in a recognizably modern form (perhaps exact notation apart) -- with the ...
user avatar