Category:Formal theories of arithmetic

From Wikipedia, the free encyclopedia
Jump to: navigation, search

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

Pages in category "Formal theories of arithmetic"

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