Category:Formal theories of arithmetic
From HandWiki
Revision as of 18:12, 16 January 2021 by imported>JTerm (change)
Here is a list of articles in the category Formal theories of arithmetic of the Computing portal that unifies foundations of mathematics and computations using computers. 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 18 pages are in this category, out of 18 total.
