Category:Formal theories of arithmetic
From Infogalactic: the planetary knowledge core
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 9 pages are in this category, out of 9 total.