# Category:Formal theories of arithmetic

Jump to navigation
Jump to search

These systems provide a logical framework and a set of axioms for the formal study of arithmetic in the context of mathematical logic.

## Pages in category "Formal theories of arithmetic"

The following 16 pages are in this category, out of 16 total. This list may not reflect recent changes (learn more).