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).